(no subject)
Jan. 23rd, 2026 08:06 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
yigal_sБредовые логические формулировки, которые я обсуждал, сам удивлясь этому бреду, оказывается, широко известны в узких кругах.
https://en.wikipedia.org/wiki/Drinker_paradox
The drinker paradox (also known as the drinker's theorem, the drinker's principle, or the drinking principle) is a theorem of classical predicate logic that can be stated as "There is someone in the pub such that, if he or she is drinking, then everyone in the pub is drinking." It was popularised by the mathematical logician Raymond Smullyan, who called it the "drinking principle" in his 1978 book What Is the Name of this Book?
https://en.wikipedia.org/wiki/Drinker_paradox
The drinker paradox (also known as the drinker's theorem, the drinker's principle, or the drinking principle) is a theorem of classical predicate logic that can be stated as "There is someone in the pub such that, if he or she is drinking, then everyone in the pub is drinking." It was popularised by the mathematical logician Raymond Smullyan, who called it the "drinking principle" in his 1978 book What Is the Name of this Book?
no subject
Date: 2026-01-24 01:18 am (UTC)no subject
Date: 2026-01-25 06:37 am (UTC)Я сам понял ответ (используемые законы действуют внутри интерпретации, а формула толкуется как соединяющая разные интерпретации), но даже после этого не вижу, как можно это понять из статьи.
no subject
Date: 2026-01-25 03:53 pm (UTC)это как так? что вы в данном случае понимаете под интерпретациями?
no subject
Date: 2026-01-26 06:36 am (UTC)upd: раньше написал "расширил ли он понятие структуры", это неправильно.
no subject
Date: 2026-01-26 02:31 pm (UTC)no subject
Date: 2026-01-26 07:08 pm (UTC)