Email or username:

Password:

Forgot your password?
jonny (good kind)'s posts Post Back to profile
Top-level
jonny (good kind)

@dysfun
If I ever make a programming language bools will be true only, in your honor

26 April at 8:39 | Open on neuromatch.social
8 comments
gaytabase

@jonny funny thing, but a number of people in the theorem prover community think we should stop using bools and replace them with proofs and contradictions

26 April at 8:40 | Open on social.treehouse.systems
f.rift :fire_blue:

@dysfun @jonny makes sense; nothing in math is true or false, only consistent or inconsistent.

26 April at 9:13 | Open on hackers.town
f.rift :fire_blue:

@dysfun @jonny (or underspecified for the determination of its consistency. or, uh, some worse things that can occur in special cases...)

26 April at 9:14 | Open on hackers.town
Go Up