Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Exercise showing that the indices of total functions is not semi-decidable no... | David A. Madore | 2023-11-21 | 1 | -0/+140 |
* | The graph of the Ackermann function is p.r. | David A. Madore | 2023-11-20 | 1 | -0/+235 |
* | More exercises on computability. | David A. Madore | 2023-11-19 | 1 | -13/+250 |
* | Some exercises on computability. | David A. Madore | 2023-11-17 | 1 | -0/+350 |