Kurt Godel (1906-1978)- in any system containing arithmetic, there are true statements that cannot be proved within the system.  a system can be consistent or complete, but not both.

Kurt Godel (1906-1978)- in any system containing arithmetic, there are true statements that cannot be proved within the system.  a system can be consistent or complete, but not both.

@2 years ago with 38 notes
#philosophy #not feminism #godel #mathematics 
  1. olena reblogged this from 20th and added:
    fuckyeahmath:realityjenny:
  2. 20th reblogged this from fuckyeahmath and added:
    realityjenny: Kurt Godel (1906-1978)- in any system containing arithmetic, there are true statements that cannot be...
  3. complexrealist reblogged this from fuckyeahmath
  4. kgyst reblogged this from syntaxerror and added:
    Én kb öt éve olvasom, most is az olvasott könyvek tornyában felülről a negyedik, az idegen savak szótára, egy német...
  5. davidcustiskimball reblogged this from fuckyeahmath and added:
    Mathematics, Design, Theology Godel formalized Anselm of Canterbury, Saint Anselm’s, ontological proof of God’s...
  6. oh-noo reblogged this from fuckyeahmath
  7. cancerninja reblogged this from fuckyeahmath
  8. pblue reblogged this from fikanick and added:
    ooo….ott basztam el valszeg hogy azt irtam “ezoterikusok”, pedig csak szimplan az olyanokra gondoltam mint peldaul az a...
  9. fikanick reblogged this from pblue and added:
    A mechanistak ostobabbak a fiatal-fold kreacionistaknal, a mechanizmus tagadasa meg maga az ezoterizmus
  10. gall0ws reblogged this from fuckyeahmath
  11. syntaxerror reblogged this from pblue and added:
    kiderült hogy súlyos hiányosság van a műveltségemben, nem olvastam ugyanis. viszont most utánanéztem, érdekesnek tűnik,...
  12. caresaboutstickpenalties reblogged this from fuckyeahmath
  13. fuckyeahmath reblogged this from realityjenny
  14. realityjenny posted this