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

Anmerkungen

Оглавление

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/

Mathematik – Management – Meditation

Подняться наверх