#Wie wurde Mathematik, was sie heute ist? – Mathlog

„Wie wurde Mathematik, was sie heute ist? – Mathlog“ Im Digitec Podcast der FAZ ging es gestern um Mathematik: Alexander Armbruster sprach mit Aeneas Rooch über sein im März erschienenes Buch „Die Entdeckung der Unendlichkeit“. https://m.faz.net/podcasts/f-a-z-digitec-podcast/wie-wurde-mathematik-was-sie-heute-ist-aeneas-rooch-17956790.html?interaktiv_platzhalter Nach einem Vorgeplänkel von 10 Minuten („ich habe Mathematik studiert, weil ich in der Schule Spaß am Ableiten hatte“)…

Weiterlesen

#Gödel bei ARTE [Mathlog]

„Gödel bei ARTE [Mathlog]“ „Die Wahrheit ist eine zu ernste Sache als dass wir sie ausschließlich mathematischen Theorien überlassen sollten“, ist das Fazit eines neuen bei ARTE erstellten Videos: Wenn Ihnen der Artikel gefallen hat, vergessen Sie nicht, ihn mit Ihren Freunden zu teilen. Folgen Sie uns auch in Google News, klicken Sie auf den…

Weiterlesen

#4523659424929 – Mathlog

„4523659424929 – Mathlog“ Die Bourbaki-Gruppe, die in der Mitte des vorherigen Jahrhunderts mit einer Reihe von Lehrbüchern die reine Mathematik auf eine gemeinsame Grundlage stellen wollte, ging nicht davon aus, dass Mathematik komplett formalisiert werden könne. Dementsprechend machte sie sich auch keine Gedanken darüber, ob ein Ansatz mit Blick auf Formalisierbarkeit effizienter sein könnte als…

Weiterlesen

Lesen Sie #Wie man seinen Verstand benutzt Online

„Wie man seinen Verstand benutzt“ Und seine Willenskraft stärkt. Ein praktisches Handbuch der Psychologie. Autor: Atkinson, Wilhelm Walker. Der Mechanismus der psychischen Zustände – die geistige Maschinerie, mit deren Hilfe wir fühlen, denken und wollen – besteht aus dem Gehirn, dem Nervensystem und den Sinnesorganen. Ganz gleich, was die wirkliche Natur des Geistes sein mag…

Weiterlesen

#Halt! Stehenbleiben! – naklar

„Halt! Stehenbleiben! – naklar“ Damit wurde Alan Turing berühmt: Die Lösung des “Halteproblems”. EIn Nachtrag zu Turings hundertsten Geburtstag (über den ich bereits beim letzten Mal geschrieben habe).Manche Computerberechnungen haben ein Ergebnis, andere laufen ewig weiter. Die Frage, ob es eine eindeutige Methode gibt, schon im Vorhinein zwischen diesen beiden Fällen zu unterscheiden, ist das…

Weiterlesen

#Alan Turing – naklar

„Alan Turing – naklar“ Kein Zweifel: Er war ein Genie. Alan Turing, ein Mathematiker von historischer Bedeutung, Mitbegründer der Informatik, philosophischer Impulsgeber und Kriegsheld im Kampf gegen die Nazis, hat in seinem kurzen Leben Unglaubliches geleistet. Am 23. Juni 2012 wäre er hundert Jahre alt geworden.Zu diesem Anlass gibt es auf naklar.at ein Geburtstags-Special über…

Weiterlesen