|
|
|
|
| LEADER |
00779nam a22001937a 4500 |
| 001 |
353861 |
| 008 |
180423s2018 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Pajot, Philippe.
|
| 245 |
1 |
0 |
|a Prouver à l'aide de l'infini
|c Philippe Pajot.
|
| 260 |
|
|
|c 2018.
|
| 300 |
|
|
|a p. 61-62.
|
| 520 |
|
|
|a En démontrant un théorème de logique mathématique, une informaticienne a fait le pont entre théorie de la démonstration et logique infinitaire. De plus, cette preuve est constructive, ce qui autorise, en principe, une implémentation dans un ordinateur.
|
| 650 |
|
|
|a Informatique
|x Recherche.
|
| 650 |
|
|
|a Théorie de la démonstration.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|w 118816
|t La Recherche
|x 0029-5671
|g No 534
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 353861
|