hilbert
hilbert copied to clipboard
gogotanaka
:dancers: Implement mathematics.
Using `2.71828` as an approximation for `e`, we should have `d/dx 2.71828^x` close to `2.71828^x` and `S(2.71828^x dx)[0..1]` should be close to `e - 1`. This is not even close...
``` Hi guys,thank you for using Hilbert. You need to execute "postulate zfc_analysis" if you wanna do real analysis. Enjoy! -> postulate zfc_analysis success! :) Enjoy! -> lim[x->oo] sin(x) 0.03574879797201651...
When I run the code below, I got wrong answer: ``` Enjoy! -> lim[x->0] sin(x)/x oo ``` I expect that it returns 1.([WolframAlpha answer](http://www.wolframalpha.com/input/?i=lim+x-%3E0+sinx%2Fx&lk=4&num=3)) versions: hilbert 0.0.2700300 ruby 2.1.4p265
$ hilbert -i Enjoy! -> postulate zfc_analysis success! :) Enjoy! -> lim[x->oo](1 + 1/x)^x (hangs) ^C/Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/lib/hilbert/iq.rb:16:in `eval': /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/set.rb:180:in`**': (Interrupt) from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/set.rb:180:in `block (3 levels) in ' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/num.rb:9:in`block (2 levels)...
@jackmaney [was unable to post an Issue](https://news.ycombinator.com/item?id=8625236), so I’m posting it for him: > Looking through the README, the first thing that made me balk was the fact that the...
I just installed hilbert, and many things don't seem to work. Works, e.g.: ``` Enjoy! -> P -> Q Defined: P -> Q is TRUE Enjoy! -> Q -> R...
[In the README](https://github.com/gogotanaka/Hilbert/blob/develop/README.md#integrate) and on [the website](http://hilbert-lang.org/) is this example: > ``` > S(log(x)dx)[0..1] > => - oo > ``` However, assuming that that code means “the integral of `log(x)...
English http://en.wikipedia.org/wiki/Three-valued_logic Japanese http://ja.wikipedia.org/wiki/3%E5%80%A4%E8%AB%96%E7%90%86