Prouver à l'aide de l'infini
Đã lưu trong:
| Xuất bản năm: | La Recherche No 534 |
|---|---|
| Tác giả chính: | |
| Định dạng: | Article de revue |
| Được phát hành: |
2018.
|
| Những chủ đề: | |
| Tóm tắt: | 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. |
| Các quyển sách có liên quan: | Chứa trong:
La Recherche |
BU Sciences
| Vị trí | Số hiệu | Trạng thái | |
|---|---|---|---|
|
n° 534 (2018)
|
Archives | 500 RS REC |
Dispo. du n° : voir "Lien"
|