nova beseda
iz Slovenije
DELO, leto 2009, poved v sobesedilu:
Matematiki so se že v začetku tridesetih let minulega stoletja ukvarjali s problemom neizračunljivosti. 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.
Nova poizvedba
Pripombe
Na vrh strani