Comment on turing completeness
edinbruh@feddit.it 4 days agoI’ll try to find it later, I read he said that in a book from Martin Davis
Comment on turing completeness
edinbruh@feddit.it 4 days agoI’ll try to find it later, I read he said that in a book from Martin Davis
UnrepentantAlgebra@lemmy.world 2 days ago
Fair, I’m mostly just curious what high level languages were around at the time given how early this was in the history of programming. A quick search did not turn up helpful results.
edinbruh@feddit.it 2 days ago
Oh, it probably wasn’t about an existing language, but about some guy studying what would become high level languages. Like studying linkers and symbolic representation of programs