proposition indécidable

Il y a 28 résultats avec cette recherche.

2010 Histoire d’algorithmes : du caillou à la puce. Vers un concept d’algorithme. p. 505-536.

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
1995 Histoire d’algorithmes. Du caillou à la puce. Vers un concept d’algorithme. p. 505-535.

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
2021 Quadrature. N° 121. p. 14-20. Vers l’indécidabilité de la conjecture de Syracuse ?

Auteur : Rivollier Damien
2018 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Les propositions mathématiques « indécidables ».

Auteur : Cori René