7 ms·
Yes, it is. Sorry if you can’t read deeply into it or something. I’m not posting for grad students. I can sense you just like to correct people. Ahhhh I’m so w
by postingposts 4y ago
Yes, it is.
Sorry if you can’t read deeply into it or something. I’m not posting for grad students. I can sense you just like to correct people. Ahhhh I’m so wrong, you’re right?
- Agingcoder 4y agoGodel's theorems mean something quite specific, and rely on an equally specific set of hypothesis. It's tempting to try to apply them (or rather the same kind of conclusions) in other (non math) contexts, but it's very not obvious that you'll get something sensible. While you can play with the ideas, invoking Godel's theorem outside of its specific context doesn't make much sense.
- dang 4y agoWe've banned this account for continuing to break the site guidelines after we asked you to stop. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- postingposts 4y ago
- MichaelBurge 4y agoI usually think of logics as search algorithms, since that's how the semantics for the meta-language describing them are defined. I guess you could call a Turing Machine implementing the search algorithm for proofs implied by a logic an "observer", since it produces "reachability observations" i.e. proofs.