Hilbert lets you have a sense of mathematics using a keyboard, the same as you would with a pen.
+---Discrete world---+ +------Mathematics-------+
| Ruby | | axiom |
| TeX |<---- Hilbert ---->| Uncountable noun |
| Python | | real number topology |
+--------------------+ +------------------------+
The code below is input and output for the Hilbert interpreter
(you can try it by hilbert -i
)
P -> Q
Q -> R
(P -> R)?
=> TRUE
P | Q # P or Q
~P # not P
Q? # Q is TURE?
=> TURE
d/dx(cos(x))
=> ( - sin( x ) )
# You can omit parentheses
d/dx log(x)
=> ( 1 / x )
d/dy xy
=> ( x )
d/dx e^x
=> e ^ x
S(log(x)dx)[0..1]
=> - oo
S(sin(x)dx)[0..pi]
=> 2.0
S(cos(x)dx)[0..pi]
=> 0.0
lim[x->oo] (1 + 1/x)^x
=> 2.7182682371744895
lim[x->0] 1/x
=> oo
โ[x=0,10] x
=> 55.0
(1 2 3; 4 5 6)
=> (1 2 3; 4 5 6)
(1 2 3; 4 5 6) + (1 2 3; 4 5 6)
=> (2 4 6; 8 10 12)
(1 2 3; 4 5 6) * (1 2 3)
=> (14 32)
f(x, y) = xy
f(1, 2)
=> 2
Install hilbert gem.
$ gem install hilbert
$ hilbert -i
Enjoy! ->
$ hilbert -r foo.hr
$ hilbert -rb foo.hr
$ hilbert -py foo.hr
class ExampleClass
def example_method
#your Ruby codes
......
I love mathematics.
a = (1 3 4)
# your Hilbert codes
Q.E.D
end
end
$ hilbert -rb example.rb
class ExampleClass
def example_method
#your Ruby codes
......
a = Vector[1, 3, 4]
end
end
Any PRs or issues are welcome. (Please make to develop
branch)
You can become a commiter, even if you only commit once.