Please enable JavaScript.
Coggle requires JavaScript to display documents.
EGB - Coggle Diagram
EGB
-
basics
theorem
-
different to mathematical theorems, which has to be proven
-
-
positive/negative space
-
results
There exist formal systems whose negative spaces
(set of non-theorems) is not the positive space (set of theorems) of any formal system
-
questions
main
Is the universe deterministic? If not, is the multiverse deterministic?
-
-
-
