nova beseda
iz Slovenije
DELO, leto 2009, poved v sobesedilu:
Sloviti nemški matematik je na mednarodnem kongresu matematikov v Parizu leta 1900 objavil seznam še nerešenih problemov. Triindvajseti problem je predpostavljal, da so vse formule v predikatnem računu ali dokazljive ali nedokazljive. Leto kasneje je mladi avstrijski matematik Gödel ovrgel trditev, da so rešitve računov lahko le pravilne in nepravilne.
Nova poizvedba
Pripombe
Na vrh strani