Re: [Philweb] HoTT?

Hi JH, für überholt halte ich den Artikel nicht, aber für belanglos; denn ich schätze Edward Nelson als außergewöhnlichen Mathematiker, der sich um die Wahrscheinlichkeitstheorie und um die Erweiterung der Mengenlehre zur Fundierung der Nichtstandardanalysis verdient gemacht hat. Die Quantentheorie bspw. fundierte er durch stochastische Prozesse und die frequentistische Wahrscheinlichkeit durch seine erweiterte Mengenlehre. Was zählt in der Mathematik sind Intuitionen und Beweise, nicht irgendein Glaube, auch wenn es viele gläubige Mathematiker gab und gibt: Von Phytagoras über Leibniz bis Penrose. IT