Sign in

Lever les contre-exemples récursifs à l'arithmétique d'ordre supérieur

By Sam Sanders
Dans la théorie classique de la calculabilité, un contre-exemple récursif à un théorème montre que ce dernier ne tient pas lorsqu'il est limité aux objets calculables. Ces contre-exemples sont très utiles dans le programme de mathématiques inversées, où le but de ce dernier est de déterminer les axiomes minimaux nécessaires... Show more
August 27, 2019
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Lifting recursive counterexamples to higher-order arithmetic
Click on play to start listening