Changes

Jump to navigation Jump to search
m
+ umlaut -> Kurt Gödel
Line 1,255: Line 1,255:  
|incompleteness
 
|incompleteness
 
|1931
 
|1931
|a system of logic or mathematics that includes propositions that are impossible to prove or disprove; term coined as a result of [[Kurt Godel]]'s work in 1931
+
|a system of logic or mathematics that includes propositions that are impossible to prove or disprove; term coined as a result of [[Kurt Gödel]]'s work in 1931
 
|-
 
|-
 
|incrementalism
 
|incrementalism
Block, SkipCaptcha, Upload, Automoderated users, edit, rollback
14,671

edits

Navigation menu