Język opisu matematyki

Dyskusje o matematykach, matematyce... W szkole, na uczelni, w karierze... Czego potrzeba - talentu, umiejętności, szczęścia? Zapraszamy do dyskusji :)
ODPOWIEDZ
Awatar użytkownika
Borneq
Użytkownik
Użytkownik
Posty: 247
Rejestracja: 23 lip 2010, o 07:50
Płeć: Mężczyzna
Lokalizacja: geo:lat=0 geo:lon=0
Podziękował: 13 razy

Język opisu matematyki

Post autor: Borneq »

Na czym dokładnie polegał Program Hilberta?
Czy możliwe jest przedstawienie twierdzeń i dowodów w formie zrozumiałej dla komputera? Przynajmniej niektórych działów?
Na górę
ODPOWIEDZ

Wróć do „Dyskusje o matematyce”