summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Use of typing systems beyond value control.David A. Madore2023-11-151-0/+36
|
* Minor clarification.David A. Madore2023-11-141-2/+3
|
* Generalities about polymorphism.David A. Madore2023-11-141-14/+64
|
* Basic set of slides on typing.David A. Madore2023-11-141-0/+296
|
* Fix mistakes in numbering of recursive functions.David A. Madore2023-11-081-5/+8
| | | | (Thanks, "RRt".)
* Rephrase for clarity.David A. Madore2023-11-081-2/+2
|
* Typos.David A. Madore2023-11-061-3/+3
| | | | (Thanks, Ilia.)
* Reread up to Rice's theorem.David A. Madore2023-11-041-97/+166
|
* Apparently "francais" is now obsolete. Sigh.David A. Madore2023-11-031-1/+1
|
* Switch to Latin Modern font (and fudge some line breaks).David A. Madore2023-11-031-3/+4
|
* Reformulate formalizations of Turing reduction.David A. Madore2023-11-031-21/+23
| | | | (Still not happy about this.)
* Typo.David A. Madore2023-11-021-1/+1
| | | | (Thanks, "jeanas".)
* One formalization of Turing reduction was wrong: quick fix (to be improved!).David A. Madore2023-11-021-5/+5
|
* A few things about Turing reduction.David A. Madore2023-11-021-3/+128
|
* Many-to-one reduction, and a new proof of Rice's theorem.David A. Madore2023-11-021-1/+160
|
* Rice's theorem.David A. Madore2023-11-021-0/+88
| | | | Thanks, "jeanas" for the reminder that this is important.
* Numbering of recursive functions (compute explicit code for sum function).David A. Madore2023-11-011-4/+14
|
* Minor changes.David A. Madore2023-11-011-4/+4
|
* Googological meditation.David A. Madore2023-11-011-5/+39
|
* Untyped lambda-calculus and a recursive type.David A. Madore2023-11-011-0/+36
|
* Typo.David A. Madore2023-11-011-1/+1
| | | | (Thanks, Fabrice!)
* Various minor corrections and clarifications.David A. Madore2023-10-301-9/+13
|
* Some comments and final thoughts.David A. Madore2023-10-301-11/+109
|
* Equivalence of functions representable in the lambda-calculus and recursive ↵David A. Madore2023-10-301-4/+205
| | | | functions.
* Representation of p.r. functions by terms of the lambda-calculus.David A. Madore2023-10-301-12/+138
|
* Representation of functions by terms of the lambda-calculus.David A. Madore2023-10-301-2/+38
|
* A remark on arity.David A. Madore2023-10-301-0/+53
|
* Outermost-leftmost (normal order) reduction; Church numerals.David A. Madore2023-10-251-2/+99
|
* More about beta-reduction.David A. Madore2023-10-201-16/+119
|
* Lambda-calculus: terms and bound variables.David A. Madore2023-10-201-1/+112
|
* Busy beaver function.David A. Madore2023-10-191-0/+95
|
* Decidable and semi-decidable sets.David A. Madore2023-10-191-1/+233
|
* Terminological cleanup.David A. Madore2023-10-191-26/+212
|
* Slightly more about Turing machines.David A. Madore2023-10-181-0/+107
|
* Turing machines and their equivalence with recursive functions.David A. Madore2023-10-181-5/+261
|
* The recursion theorem for general recursive functions, and the Halting problem.David A. Madore2023-10-181-9/+322
|
* General recursive functions: numbering, computation trees, universality, ↵David A. Madore2023-10-181-2/+238
| | | | normal form.
* Remove flawed part about eliminating recursivity.David A. Madore2023-10-181-105/+0
|
* General recursive function: introduction.David A. Madore2023-10-181-4/+231
| | | | NB: The part about elimination of recursivity is flawed. Will remove
* More about primitive recursive functions, and Kleene's recursion theorem.David A. Madore2023-10-171-12/+265
|
* Tiding of things to come.David A. Madore2023-10-171-0/+43
|
* Primitive recursive functions.David A. Madore2023-10-161-0/+197
|
* More slides on intro to computability.David A. Madore2023-10-121-0/+147
|
* Initial commit with a basic set of slides.David A. Madore2023-10-122-0/+222
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-24 11:21:31 +0000