Timeline for Halting problem theory vs. practice
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 13, 2020 at 17:31 | comment | added | Jake | Nice! Good to know about this. I might give this a try and see how useful it is in practice. I wonder if this isn't a lot more useful in practice than the functional stuff I'm aware of. | |
| May 12, 2020 at 19:32 | comment | added | cody | T2? en.wikipedia.org/wiki/T2_Temporal_Prover | |
| May 12, 2020 at 15:35 | review | First posts | |||
| May 13, 2020 at 9:10 | |||||
| May 12, 2020 at 15:32 | history | answered | PMar | CC BY-SA 4.0 |