Gustave Courbet · @port80guru
58 followers · 353 posts · Server ruhr.socialDouglas R. Hofstaedter:
#Goedel, #Escher #Bach?
#AlanTuring kennt ja jeder, aber who the f*** is #KurtGödel und das Entscheidungsproblem in:
#Turing (1937): On #Computeable #Numbers with an Application to the #Entscheidungsproblem
https://doi.org/10.1112/plms/s2-42.1.230
„Wir müssen wissen, und wir werden wissen.“ ... Alles, was #wahr ist, wäre auch #beweisbar.
Kurt Gödels #Unvollständigkeitssatz erschütterte in den 1930er Jahren die #Fundamente der mathematischen Überzeugungen.
#goedel #escher #bach #alanturing #kurtgodel #turing #computeable #numbers #entscheidungsproblem #wahr #beweisbar #unvollstandigkeitssatz #fundamente