diff options
| author | David A. Madore <david+git@madore.org> | 2025-10-31 20:24:07 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2025-10-31 20:24:07 +0100 |
| commit | f709406faf2a26919879db1e9a8fb52f3f490fdc (patch) | |
| tree | 86a8f672196b92dc3a5d4d099616336ab59d1588 /transp-inf110-02-typage.tex | |
| parent | 50ef48a59e85eb4155ad1cf45b73b432cb9a40ab (diff) | |
| download | inf110-lfi-f709406faf2a26919879db1e9a8fb52f3f490fdc.tar.gz inf110-lfi-f709406faf2a26919879db1e9a8fb52f3f490fdc.tar.bz2 inf110-lfi-f709406faf2a26919879db1e9a8fb52f3f490fdc.zip | |
Historically, Turing did not actually prove the undecidability of the halting problem.
Diffstat (limited to 'transp-inf110-02-typage.tex')
0 files changed, 0 insertions, 0 deletions