Email or username:

Password:

Forgot your password?
Top-level
green-threaded gay

@jonny look start with booleans. cats always say no, but i'm unclear they understand what yes means.

9 comments
Dr. jonny phd

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

green-threaded gay

@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

f.rift :fire_blue:

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

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...)

Go Up