Main public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 20:34, 9 November 2026 GregoryMorse talk contribs created page User talk:GregoryMorse/Computability and provability guide (Disclose AI assistance in drafting and revising the guide.)
- 20:14, 9 November 2026 GregoryMorse talk contribs created page User:GregoryMorse (Created page with "I am Gregory Morse, originally from Los Angeles, USA, and a PhD candidate and lecturer in the Department of Programming Languages and Compilers at Eötvös Loránd University (ELTE), Budapest, Hungary. My interests include algorithms, decompilation, self-modifying code, control-flow graphs and formal verification. == Contributions == === Guides === * Computability and provability guide — computability, provabi...")
- 20:08, 9 November 2026 GregoryMorse talk contribs moved page User:GregoryMorse/Undecidability guide to User:GregoryMorse/Computability and provability guide (More appropriate page name)
- 15:41, 9 November 2026 GregoryMorse talk contribs created page User:GregoryMorse/Undecidability guide (Add illustrated guide to halting, BB/BBB, logical independence, consistency machines and finite-prefix formulas; sources checked 2026-11-09.)
- 06:44, 5 November 2026 User account GregoryMorse talk contribs was created