User contributions for 2A04:EE41:3:F75B:8F51:7077:113C:6E81
Jump to navigation
Jump to search
31 January 2025
- 16:0016:00, 31 January 2025 diff hist +12,298 N Turing reduction clarified that Turing reductions must run in finitely many steps because they are algorithms. Also, slightly reworded the "informal definition" current