-

" Contre-exemples " au TVI par nombre et fonction incalculables

-

Résumé

- Après quelques réflexions épistémologiques, on produira un premier exemple de nombre incalculable. À l'aide du théorème des valeurs intermédiaires (TVI) et d'une machine de Turing universelle, ce nombre sera la racine annulant une fonction croissante continue et pourtant ce nombre sera différent de tous les nom...

[...la suite ]