The highlight of this day for me - I discovered philosophy.stackexchange and answered some questions on #philosophy and #logic
Looking at heyting algebras as a way to visualize how a set of theorems of intuitionistic logic relate to each other. It is very beautiful.
- Every point is a statement.
- False is at the bottom, True is at the top.
- Two statements pointing to a third one is an "OR" if the third statement is higher than the other two, and "AND" if it is lower.
- From two statements connected by an arrow, the statement which is situated lower implies the one which is situated higher.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!