Zum Inhalt springen

Peano arithmetic is enough, because Peano arithmetic encodes computation

Comments

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert