= 27d567bc2d48d9f40e9ccc20ea370b15)
Benito comments on Tarski's truth sentences and MIRI's AI - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (7)
I believe that they're working on a probabilistic definition of truth, to bypass certain problems like these. Check their research papers out at intelligence.org.
Also, I feel that a question of this sort might be better suited to the open thread. Admittedly, some people have been thinking of making the discussion thread for, y'know, discussions, so if a substantive discussion does come out of this, I'm probably wrong.
Wow, they have a paper addressing this very subject. Unfortunately, I lost the thread of the argument halfway through. (But I'm not giving up. I am going to watch the Paul Christiano on Probabilistic Metamathematics video on Youtube. Any other aids to understanding will be greatly appreciated. I found quite a few myself, actually.) I did not know about the Open Thread either. Sorry about that. Will lurk more. I have no objection to this thread being used for general discussion.
Lurking for a while before posting on a website is a good idea :)