Lime石灰
发表于 2025-3-25 03:50:55
Dance of the Starlings,k a Mockingbird, and other logic puzzles. Alfred A. Knopf, New York, .), to wit the Starling. In the feathers of .-calculus this bird has the plumage .. This term is usually named ., reminiscent of its inventor Schönfinkel and also the combinatory ornithologist Smullyan. The combinator . is importan
追踪
发表于 2025-3-25 09:45:47
http://reply.papertrans.cn/83/8217/821682/821682_22.png
有组织
发表于 2025-3-25 14:25:38
http://reply.papertrans.cn/83/8217/821682/821682_23.png
恶心
发表于 2025-3-25 19:03:04
,Gödel, Lucas, and the Soul-Searching Selfie,ly, to prove the Gödel sentence for the set of arithmetical sentences she is able to prove. There are two main objections: “The agent cannot know her own program” and “The agent cannot be sure the things she can prove are consistent.” It is argued that accepting the first objection would hand the an
最低点
发表于 2025-3-25 22:06:53
http://reply.papertrans.cn/83/8217/821682/821682_25.png
Deadpan
发表于 2025-3-26 01:04:18
,Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder, puzzles, but it also helps the understanding of novel forms of reasoning. In 1996, George Boolos published a famous puzzle, known as the ‘hardest logic puzzle ever’. This puzzle has been modified several times, and is known not to be ‘the most difficult of all logical puzzles’. I argue that modifie
Substitution
发表于 2025-3-26 06:48:12
http://reply.papertrans.cn/83/8217/821682/821682_27.png
细菌等
发表于 2025-3-26 09:47:29
Book 2017as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accor
Lament
发表于 2025-3-26 14:10:19
http://reply.papertrans.cn/83/8217/821682/821682_29.png
gospel
发表于 2025-3-26 17:43:48
Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox,nides the Cretan accusing all Cretans of lying. Knights do not *intuitively* run into the same problem. What could prevent a Knight from truly reporting that s/he always tells the truth? Standard theories of truth DO prevent this, however, for such a report is self-referentially ungrounded. Standard theories have a problem, then! We try to fix it.