| |
| Autor |
 Andrej Bauer: The countable reals |
|
tactac
Senior 
Dabei seit: 15.10.2014
Mitteilungen: 2719
 |  Themenstart: 2022-05-12
|
\(\begingroup\)\(\newcommand{\sem}[1]{[\![#1]\!]}
\newcommand{\name}[1]{\ulcorner#1\urcorner}
\newcommand{\upamp}{\mathbin {⅋}}\)
Nachdem Bauer vor einigen Jahren einen Topos beschrieben hat, in dem es eine Injektion $\IN^\IN \to \IN$ gibt ($\IN^\IN$ ist "subcountable"), hat er heute einen Vortrag gehalten, bei dem es um die Existenz einer Surjektion $\IN \to \IR$ (womit $\IR$ abzählbar ist) geht.
Für Leute, die sich für Logik interessieren, recht interessant.
Im Publikum unter anderem: Dana Scott und Ingo Blechschmidt. 🙂\(\endgroup\)
|
 Profil
|
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|
Wie unterstütze ich den Matheplaneten mit Geld?
