geoffneilsen.wordpress.com
KURT GODEL (1906- 78)
1931 – Austria ‘Every consistent theory must contain propositions that can be neither proved nor disproved according to its own defining set of rules’ The theorem proved the …