Grenzen der Mathematik
Die Geburtsstunde der Informatik: Gibt es einen Algorithmus, der zuverlässig entscheidet, ob eine Aussage beweisbar ist?
Mehr von Mathewelten
Die Geburtsstunde der Informatik: Gibt es einen Algorithmus, der zuverlässig entscheidet, ob eine Aussage beweisbar ist?