It is not the case that Lucas argued that a thinker can recognize the truth of its own Gödel sentence, while no consistent formal system can prove its own such sentence—this asymmetry is not incidental but definitional of rational agency.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.