Читать книгу Mathematik – Management – Meditation - Bruno Buchberger - Страница 6

1

Konferenz „Special Functions in the Digital Age“, 22. Juli bis 2. August 2002, an der University of Minnesota, organisiert vom „Digital Library of Mathematical Functions“ (DLMF), ein Projekt am „National Institute of Standards and Technology“ (NIST).

2

Vgl. dazu die englische Entsprechung „explanation“: etwas, das kompliziert ist („ex“ ist, „heraussteht“), einfach („plain“, „eben“) machen.

3

Durch zwei fundamentale Resultate (1930, 1931) des österreichischen Mathematikers Kurt Gödel (1906 – 1978) über die Schlusskraft der Prädikatenlogik wurde diese Logik als Grundlage für die gesamte Mathematik etabliert. Kurt Gödel ist sicher einer der größten Geister des 20. Jahrhunderts.

4

Im Zuge des „Theorema“-Projekts: www.risc.jku.at/research/theorema/software/