Discussion on answer by Arno: is there a constructive proof of the existence of a language which isn't recursive (without invoking infinities)? - 2021-02-14

« first day (14 days earlier)

Feeds

00:00

This room has been automatically frozen for inactivity

« first day (14 days earlier)

Transcript for

Feb '2114

Discussion on answer by Arno: is ther…

Imported from a comment discussion on cs.stackexchange.com/que...

semi-decidability turing-machines

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC

site design / logo © 2025 Stack Exchange Inc; legal

mobile