用户名  找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Raymond Smullyan on Self Reference; Melvin Fitting,Brian Rayman Book 2017 Springer International Publishing AG, part of Springer Nature 20

[复制链接]
楼主: Adams
发表于 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 | 显示全部楼层
发表于 2025-3-25 14:25:38 | 显示全部楼层
发表于 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 | 显示全部楼层
发表于 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
发表于 2025-3-26 06:48:12 | 显示全部楼层
发表于 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
发表于 2025-3-26 14:10:19 | 显示全部楼层
发表于 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.
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-20 18:01
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表