Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
sci.logic
Conversations
About
sci.logic
1–30 of 38816
Mark all as read
Report abusive group
0 selected
WM
, …
Jim Burns
132
6:10 PM
An inconsistency between set theory and classical mathematics
On 3/22/2023 3:50 PM, WM wrote: > Jim Burns schrieb am Mittwoch, > 22. März 2023 um 20:06:18
unread,
An inconsistency between set theory and classical mathematics
On 3/22/2023 3:50 PM, WM wrote: > Jim Burns schrieb am Mittwoch, > 22. März 2023 um 20:06:18
6:10 PM
olcott
,
Jim Burns
3
5:57 PM
Correcting the notion of valid deduction
On 3/22/2023 4:09 PM, Jim Burns wrote: > On 3/21/2023 12:13 PM, olcott wrote: > >> When
unread,
Correcting the notion of valid deduction
On 3/22/2023 4:09 PM, Jim Burns wrote: > On 3/21/2023 12:13 PM, olcott wrote: > >> When
5:57 PM
Julio Di Egidio
, …
Mostowski Collapse
14
5:37 PM
Barber's Paradox (in Coq)
Coq, Isabelle/HOL, etc.. all these tools that cannot produce proof objects, will soon become meme
unread,
Barber's Paradox (in Coq)
Coq, Isabelle/HOL, etc.. all these tools that cannot produce proof objects, will soon become meme
5:37 PM
Pentcho Valev
2
5:18 PM
Einstein's 1905 Invalid Deduction
In 1972 Herbert Dingle https://en.wikipedia.org/wiki/Herbert_Dingle tried to expose Einstein's
unread,
Einstein's 1905 Invalid Deduction
In 1972 Herbert Dingle https://en.wikipedia.org/wiki/Herbert_Dingle tried to expose Einstein's
5:18 PM
Mostowski Collapse
, …
Dan Christensen
46
4:57 PM
Reductio Ad Absurdum (RAA) missing in DC Proof
Can you show a proof which has only DNE in the root, this is the question. You didn't show such a
unread,
Reductio Ad Absurdum (RAA) missing in DC Proof
Can you show a proof which has only DNE in the root, this is the question. You didn't show such a
4:57 PM
Ross A. Finlayson
, …
Jeffrey Rubard
25
4:28 PM
Ultimate Theory / Theory of Everything
On Wednesday, March 22, 2023 at 11:46:55 AM UTC-7, Ross Finlayson wrote: > On Wednesday, March 22,
unread,
Ultimate Theory / Theory of Everything
On Wednesday, March 22, 2023 at 11:46:55 AM UTC-7, Ross Finlayson wrote: > On Wednesday, March 22,
4:28 PM
olcott
, …
Richard Damon
22
3:35 PM
Introducing the foundation of correct reasoning
On 3/22/23 3:25 PM, olcott wrote: > On 3/19/2023 2:21 PM, olcott wrote: >> On 3/19/2023 1:22
unread,
Introducing the foundation of correct reasoning
On 3/22/23 3:25 PM, olcott wrote: > On 3/19/2023 2:21 PM, olcott wrote: >> On 3/19/2023 1:22
3:35 PM
Julio Di Egidio
,
Dan Christensen
3
2:15 PM
Drinker's Paradox (in Coq)
On Wednesday, March 22, 2023 at 11:45:52 AM UTC-4, Dan Christensen wrote: > On Wednesday, March 22
unread,
Drinker's Paradox (in Coq)
On Wednesday, March 22, 2023 at 11:45:52 AM UTC-4, Dan Christensen wrote: > On Wednesday, March 22
2:15 PM
WM
, …
Jeffrey Rubard
716
11:52 AM
Enumerating all real numbers
On Tuesday, March 21, 2023 at 2:07:55 PM UTC-7, Ross Finlayson wrote: > On Tuesday, March 21, 2023
unread,
Enumerating all real numbers
On Tuesday, March 21, 2023 at 2:07:55 PM UTC-7, Ross Finlayson wrote: > On Tuesday, March 21, 2023
11:52 AM
Peeler
, …
Loose Cannon
8
11:09 AM
79-year-old Jewish man gets beer bottle stuck up his rectum
On Wed, 22 Mar 2023 12:30:43 +0000, clinically insane, pedophilic, serbian bitch Razovic, the
unread,
79-year-old Jewish man gets beer bottle stuck up his rectum
On Wed, 22 Mar 2023 12:30:43 +0000, clinically insane, pedophilic, serbian bitch Razovic, the
11:09 AM
olcott
, …
Richard Damon
6
10:53 AM
The essence of my rebuttal of the Halting Theorem
On 3/22/23 12:02 AM, olcott wrote: > A simulating halt decider (SHD) correctly predicts what the
unread,
The essence of my rebuttal of the Halting Theorem
On 3/22/23 12:02 AM, olcott wrote: > A simulating halt decider (SHD) correctly predicts what the
10:53 AM
Pentcho Valev
2
9:07 AM
Maxwell's Equations Compatible With Variable Speed of Light
The fundamental double lie of post-truth (Einsteinian) physics. Maxwell's theory predicted
unread,
Maxwell's Equations Compatible With Variable Speed of Light
The fundamental double lie of post-truth (Einsteinian) physics. Maxwell's theory predicted
9:07 AM
Andrew 'Andrzej' Baron
9:06 AM
Deranged PAEDO PRIESTS! Church Called 'Sinful' in Sexual Abuse Case (301)
http://www.bishop-accountability.org/news2003_07_12/2003_10_23_Geigen_ChurchCalled.htm The Roman
unread,
Deranged PAEDO PRIESTS! Church Called 'Sinful' in Sexual Abuse Case (301)
http://www.bishop-accountability.org/news2003_07_12/2003_10_23_Geigen_ChurchCalled.htm The Roman
9:06 AM
WM
, …
Ross Finlayson
44
Mar 21
(0, ϵ)
On Tuesday, March 21, 2023 at 3:11:57 PM UTC-7, Ross Finlayson wrote: > On Tuesday, March 21, 2023
unread,
(0, ϵ)
On Tuesday, March 21, 2023 at 3:11:57 PM UTC-7, Ross Finlayson wrote: > On Tuesday, March 21, 2023
Mar 21
Julio Di Egidio
, …
Ross Finlayson
145
Mar 21
There is no such Barber!
On Tuesday, March 21, 2023 at 8:09:39 AM UTC-7, olcott wrote: > On 3/21/2023 9:52 AM, Mostowski
unread,
There is no such Barber!
On Tuesday, March 21, 2023 at 8:09:39 AM UTC-7, olcott wrote: > On 3/21/2023 9:52 AM, Mostowski
Mar 21
Bonaventura
Mar 21
Overkott proves Goldbach
Goldbach's conjecture, named after the mathematician Christian Goldbach, is an unproven statement
unread,
Overkott proves Goldbach
Goldbach's conjecture, named after the mathematician Christian Goldbach, is an unproven statement
Mar 21
Pentcho Valev
2
Mar 21
Einsteinians : Speed of Falling Light Both Increases and Decreases
Einstein: "Second, this consequence shows that the law of the constancy of the speed of light no
unread,
Einsteinians : Speed of Falling Light Both Increases and Decreases
Einstein: "Second, this consequence shows that the law of the constancy of the speed of light no
Mar 21
Pentcho Valev
2
Mar 20
Isothermal Heat Engines : Grand Secret of Thermodynamics
There is a simple and unambiguous formulation of the second law of thermodynamics suggested by Sadi
unread,
Isothermal Heat Engines : Grand Secret of Thermodynamics
There is a simple and unambiguous formulation of the second law of thermodynamics suggested by Sadi
Mar 20
Pentcho Valev
2
Mar 20
Logic Against the Second Law of Thermodynamics
Enzymes dramatically increase the rate of metabolic reactions but the main function of most of them
unread,
Logic Against the Second Law of Thermodynamics
Enzymes dramatically increase the rate of metabolic reactions but the main function of most of them
Mar 20
Pentcho Valev
3
Mar 19
Neil deGrasse Tyson's Cosmic Conspiracy of the Highest Order
The cosmic conspiracy of the highest order has allowed Neil deGrasse Tyson to change his mind about
unread,
Neil deGrasse Tyson's Cosmic Conspiracy of the Highest Order
The cosmic conspiracy of the highest order has allowed Neil deGrasse Tyson to change his mind about
Mar 19
Charlie-Boo
, …
olcott
15
Mar 19
Simplest way to explain the Liar
On 3/19/2023 2:11 PM, Ross Finlayson wrote: > On Thursday, January 26, 2012 at 1:03:54 PM UTC-8,
unread,
Simplest way to explain the Liar
On 3/19/2023 2:11 PM, Ross Finlayson wrote: > On Thursday, January 26, 2012 at 1:03:54 PM UTC-8,
Mar 19
Ross A. Finlayson
, …
Ross Finlayson
21
Mar 19
On some quotes from P. Mancuso's "From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s".
On Sunday, March 19, 2023 at 7:04:11 AM UTC-7, Mostowski Collapse wrote: > Or learn some Mandarin,
unread,
On some quotes from P. Mancuso's "From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s".
On Sunday, March 19, 2023 at 7:04:11 AM UTC-7, Mostowski Collapse wrote: > Or learn some Mandarin,
Mar 19
mitch
, …
Ross Finlayson
157
Mar 19
Order theory in foundations
On Saturday, March 18, 2017 at 3:28:35 PM UTC-7, Ross A. Finlayson wrote: > On Saturday, March 18,
unread,
Order theory in foundations
On Saturday, March 18, 2017 at 3:28:35 PM UTC-7, Ross A. Finlayson wrote: > On Saturday, March 18,
Mar 19
Mostowski Collapse
, …
Ross Finlayson
10
Mar 19
Proper Treatment of Set-Like Functions contra DC Proof
On Sunday, December 20, 2020 at 2:25:05 PM UTC-8, Ross A. Finlayson wrote: > On Saturday, December
unread,
Proper Treatment of Set-Like Functions contra DC Proof
On Sunday, December 20, 2020 at 2:25:05 PM UTC-8, Ross A. Finlayson wrote: > On Saturday, December
Mar 19
mitch
, …
Ross Finlayson
136
Mar 19
dimension theory and the continuum hypothesis
On Wednesday, October 19, 2016 at 8:07:29 PM UTC-7, Ross A. Finlayson wrote: > On Wednesday,
unread,
dimension theory and the continuum hypothesis
On Wednesday, October 19, 2016 at 8:07:29 PM UTC-7, Ross A. Finlayson wrote: > On Wednesday,
Mar 19
Ross Finlayson
Mar 19
Question words, and what's an answer
There are about seven question words in English. What do question words do? Question words pose
unread,
Question words, and what's an answer
There are about seven question words in English. What do question words do? Question words pose
Mar 19
Pentcho Valev
,
Dan Christensen
4
Mar 19
Unique Brainwashing in Einstein's Schizophrenic World
Early brainwashing in Einstein's schizophrenic world: In 1911 Jean Perrin explains that the
unread,
Unique Brainwashing in Einstein's Schizophrenic World
Early brainwashing in Einstein's schizophrenic world: In 1911 Jean Perrin explains that the
Mar 19
Pentcho Valev
3
Mar 19
The Michelson-Morley Experiment Proved Variable Speed of Light
Henri Poincaré: "Lorentz could have accounted for the facts by supposing that the velocity of
unread,
The Michelson-Morley Experiment Proved Variable Speed of Light
Henri Poincaré: "Lorentz could have accounted for the facts by supposing that the velocity of
Mar 19
Mostowski Collapse
, …
Dan Christensen
428
Mar 18
Zorn's Lemma, how formalize it in DC Proof
On Monday, March 6, 2023 at 7:36:19 PM UTC-5, Mostowski Collapse wrote: > How about a proof of
unread,
Zorn's Lemma, how formalize it in DC Proof
On Monday, March 6, 2023 at 7:36:19 PM UTC-5, Mostowski Collapse wrote: > How about a proof of
Mar 18
olcott
,
Richard Damon
2
Mar 18
Re: Solution to one instance of the Halting Problem [2017-03-14 inception date of simulating halt decider]
On 3/18/23 1:02 PM, olcott wrote: > On 3/14/2017 9:05 AM, peteolcott wrote: >> https://
unread,
Re: Solution to one instance of the Halting Problem [2017-03-14 inception date of simulating halt decider]
On 3/18/23 1:02 PM, olcott wrote: > On 3/14/2017 9:05 AM, peteolcott wrote: >> https://
Mar 18
