Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
sci.logic
Conversations
About
sci.logic
1–30 of 38439
Mark all as read
Report abusive group
0 selected
Dan Christensen
, …
Mostowski Collapse
40
5:22 PM
New Version of DC Proof with expanded tutorial
On Sunday, October 2, 2022 at 3:45:10 PM UTC-4, Mostowski Collapse wrote: [snip] > > So what we
unread,
New Version of DC Proof with expanded tutorial
On Sunday, October 2, 2022 at 3:45:10 PM UTC-4, Mostowski Collapse wrote: [snip] > > So what we
5:22 PM
Mostowski Collapse
, …
Fritz Feldhase
66
3:55 PM
How difficult is contraposition for DC Proof and Dan Christensen?
On Sunday, October 2, 2022 at 8:52:37 PM UTC+2, Dan Christensen wrote: > > > > You know,
unread,
How difficult is contraposition for DC Proof and Dan Christensen?
On Sunday, October 2, 2022 at 8:52:37 PM UTC+2, Dan Christensen wrote: > > > > You know,
3:55 PM
olcott
2:26 PM
Re: olcott is absolutely and totally correct. [ Visual Studio c/c++ project ]
On 10/2/2022 1:06 PM, Richard Damon wrote: > > On 10/2/22 1:46 PM, olcott wrote: >> On 10
unread,
Re: olcott is absolutely and totally correct. [ Visual Studio c/c++ project ]
On 10/2/2022 1:06 PM, Richard Damon wrote: > > On 10/2/22 1:46 PM, olcott wrote: >> On 10
2:26 PM
Julio Di Egidio
, …
Jeffrey Rubard
18
Oct 1
The set of natural numbers is not recursive
On Friday, September 30, 2022 at 2:32:28 PM UTC-7, Jeffrey Rubard wrote: > On Friday, September 30
unread,
The set of natural numbers is not recursive
On Friday, September 30, 2022 at 2:32:28 PM UTC-7, Jeffrey Rubard wrote: > On Friday, September 30
Oct 1
olcott
,
olcott
2
Oct 1
Re: olcott is absolutely correct. [ Visual Studio c/c++ project ]
On 10/1/2022 12:45 PM, Paul N wrote: > On Saturday, October 1, 2022 at 4:09:20 PM UTC+1, olcott
unread,
Re: olcott is absolutely correct. [ Visual Studio c/c++ project ]
On 10/1/2022 12:45 PM, Paul N wrote: > On Saturday, October 1, 2022 at 4:09:20 PM UTC+1, olcott
Oct 1
Newberry
, …
Julio Di Egidio
3
Oct 1
Hierarchy of Arithmetics
On Saturday, 1 October 2022 at 04:43:33 UTC+2, Newberry wrote: > Let T be a theory of Peano
unread,
Hierarchy of Arithmetics
On Saturday, 1 October 2022 at 04:43:33 UTC+2, Newberry wrote: > Let T be a theory of Peano
Oct 1
Mostowski Collapse
, …
Ross A. Finlayson
14
Sep 30
Once upon a Time, there was the Larch Prover
Anyway, thanks for checking whether I am asleep. Unfortunately, busy as hell with some profane
unread,
Once upon a Time, there was the Larch Prover
Anyway, thanks for checking whether I am asleep. Unfortunately, busy as hell with some profane
Sep 30
Ross A. Finlayson
, …
Daniel Pehoushek
44
Sep 30
Theory
On Saturday, June 12, 2021 at 4:55:20 PM UTC-7, ju...@diegidio.name wrote: > On Friday, 11 June
unread,
Theory
On Saturday, June 12, 2021 at 4:55:20 PM UTC-7, ju...@diegidio.name wrote: > On Friday, 11 June
Sep 30
Daniel Pehoushek
7
Sep 30
the most general intelligence in twelve lines ever published on sci dot logic
On Sunday, September 25, 2022 at 11:38:46 AM UTC-4, Daniel Pehoushek wrote: > On Thursday,
unread,
the most general intelligence in twelve lines ever published on sci dot logic
On Sunday, September 25, 2022 at 11:38:46 AM UTC-4, Daniel Pehoushek wrote: > On Thursday,
Sep 30
Pentcho Valev
,
Jeffrey Rubard
3
Sep 29
Einstein: I Want Gravitational Waves to Travel at the Speed of Light
On Monday, September 26, 2022 at 12:17:31 AM UTC-7, Pentcho Valev wrote: > LIGO fakers want light
unread,
Einstein: I Want Gravitational Waves to Travel at the Speed of Light
On Monday, September 26, 2022 at 12:17:31 AM UTC-7, Pentcho Valev wrote: > LIGO fakers want light
Sep 29
olcott
,
olcott
4
Sep 29
Re: The Halting Problem proofs have a fatal flaw [ Visual Studio c/c++ project ]
On 9/29/2022 9:45 AM, Paul N wrote: > On Thursday, September 29, 2022 at 2:49:07 PM UTC+1, olcott
unread,
Re: The Halting Problem proofs have a fatal flaw [ Visual Studio c/c++ project ]
On 9/29/2022 9:45 AM, Paul N wrote: > On Thursday, September 29, 2022 at 2:49:07 PM UTC+1, olcott
Sep 29
Khong Dong
,
Jeff Barnett
13
Sep 28
'How would one formally define -- in the language of real numbers -- the unary predicate constant symbol "prime"?'
On Wednesday, 28 September 2022 at 00:25:30 UTC-6, Khong Dong wrote: > On Tuesday, 27 September
unread,
'How would one formally define -- in the language of real numbers -- the unary predicate constant symbol "prime"?'
On Wednesday, 28 September 2022 at 00:25:30 UTC-6, Khong Dong wrote: > On Tuesday, 27 September
Sep 28
Pentcho Valev
Sep 26
Modern Physics : Moneymaking Scheme, Not Science
Sabine Hossenfelder: "I want to tell you how particle physicists are wasting your money."
unread,
Modern Physics : Moneymaking Scheme, Not Science
Sabine Hossenfelder: "I want to tell you how particle physicists are wasting your money."
Sep 26
Pentcho Valev
Sep 25
Einstein's Relativity Disproved in...1887!
The speed of light is VARIABLE AS PER NEWTON (https://qph.cf2.quoracdn.net/main-qimg-
unread,
Einstein's Relativity Disproved in...1887!
The speed of light is VARIABLE AS PER NEWTON (https://qph.cf2.quoracdn.net/main-qimg-
Sep 25
Pentcho Valev
Sep 25
Einsteinians Camouflage the Constant-Speed-of-Light Fraud
Einsteinians inform the gullible world that, if the speed of light is variable, Divine Albert's
unread,
Einsteinians Camouflage the Constant-Speed-of-Light Fraud
Einsteinians inform the gullible world that, if the speed of light is variable, Divine Albert's
Sep 25
Daniel Pehoushek
, …
Rich D
130
Sep 24
Theorem: Monotone quantified boolean formula are linearly decidable
On September 23, pehou...@gmail.com wrote: > my background resume > I discovered half clauses
unread,
Theorem: Monotone quantified boolean formula are linearly decidable
On September 23, pehou...@gmail.com wrote: > my background resume > I discovered half clauses
Sep 24
olcott
2
Sep 24
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--]
On 9/24/2022 12:02 PM, Mr Flibble wrote: > On Sat, 24 Sep 2022 08:29:47 -0500 > olcott <
unread,
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--]
On 9/24/2022 12:02 PM, Mr Flibble wrote: > On Sat, 24 Sep 2022 08:29:47 -0500 > olcott <
Sep 24
Antonio Speltzu
, …
Ross A. Finlayson
8
Sep 24
Mathematical axioms.
On Saturday, September 24, 2022 at 10:17:05 AM UTC-7, Ross A. Finlayson wrote: > On Saturday,
unread,
Mathematical axioms.
On Saturday, September 24, 2022 at 10:17:05 AM UTC-7, Ross A. Finlayson wrote: > On Saturday,
Sep 24
olcott
, …
Richard Damon
12
Sep 23
The Halting Problem proofs have a fatal flaw
On 9/23/22 11:30 AM, olcott wrote: > On 9/22/2022 10:09 PM, Richard Damon wrote: >> On 9/22/
unread,
The Halting Problem proofs have a fatal flaw
On 9/23/22 11:30 AM, olcott wrote: > On 9/22/2022 10:09 PM, Richard Damon wrote: >> On 9/22/
Sep 23
olcott
, …
Richard Damon
44
Sep 23
Halting problem proofs refuted on the basis of software engineering ?
On 9/23/22 11:23 AM, olcott wrote: > On 9/22/2022 9:43 PM, Richard Damon wrote: >> >>
unread,
Halting problem proofs refuted on the basis of software engineering ?
On 9/23/22 11:23 AM, olcott wrote: > On 9/22/2022 9:43 PM, Richard Damon wrote: >> >>
Sep 23
Antonio Speltzu
, …
Sergi o
24
Sep 23
Expressions that do not express what they express.
On 9/23/2022 11:26 AM, Ross A. Finlayson wrote: > On Friday, September 23, 2022 at 9:01:29 AM UTC-
unread,
Expressions that do not express what they express.
On 9/23/2022 11:26 AM, Ross A. Finlayson wrote: > On Friday, September 23, 2022 at 9:01:29 AM UTC-
Sep 23
Pentcho Valev
Sep 23
Vandalizing Space and Time Doesn't Work : the Speed of Light Remains Variable
"To state that the speed of light is independent of the velocity of the observer is very
unread,
Vandalizing Space and Time Doesn't Work : the Speed of Light Remains Variable
"To state that the speed of light is independent of the velocity of the observer is very
Sep 23
Pentcho Valev
Sep 23
Einstein's Relativity: the Perihelion-of-Mercury Hoax
Professor George Smoot, University of California Berkeley: "Einstein was able to predict,
unread,
Einstein's Relativity: the Perihelion-of-Mercury Hoax
Professor George Smoot, University of California Berkeley: "Einstein was able to predict,
Sep 23
Dan Christensen
, …
Fritz Feldhase
26
Sep 22
Justifying the truth table for the IMPLIES-operator
On Thursday, September 22, 2022 at 11:27:42 PM UTC-4, Fritz Feldhase wrote: > On Friday, September
unread,
Justifying the truth table for the IMPLIES-operator
On Thursday, September 22, 2022 at 11:27:42 PM UTC-4, Fritz Feldhase wrote: > On Friday, September
Sep 22
Pentcho Valev
,
Daniel Pehoushek
2
Sep 21
Light Falls and Deflects as per Newton, Theoretical Physicists!
mass counts try these two revised equations for dark energy and matter e over mc squared equals log
unread,
Light Falls and Deflects as per Newton, Theoretical Physicists!
mass counts try these two revised equations for dark energy and matter e over mc squared equals log
Sep 21
Pentcho Valev
Sep 21
Einstein Camouflages the Constant-Speed-of-Light Fraud
Albert Einstein: "If a ray of light be sent along the embankment, we see from the above that the
unread,
Einstein Camouflages the Constant-Speed-of-Light Fraud
Albert Einstein: "If a ray of light be sent along the embankment, we see from the above that the
Sep 21
Khong Dong
3
Sep 21
"What are the most complex issues mathematicians are currently facing?"
On Wednesday, 21 September 2022 at 10:23:05 UTC-6, Khong Dong wrote: > On Wednesday, 21 September
unread,
"What are the most complex issues mathematicians are currently facing?"
On Wednesday, 21 September 2022 at 10:23:05 UTC-6, Khong Dong wrote: > On Wednesday, 21 September
Sep 21
PengKuan Em
, …
Ross A. Finlayson
72
Sep 21
Examination of Cantor’s proofs for uncountability and axiom for counting infinite sets
On Monday, September 19, 2022 at 9:47:41 AM UTC-7, tita...@gmail.com wrote: > Le vendredi 16
unread,
Examination of Cantor’s proofs for uncountability and axiom for counting infinite sets
On Monday, September 19, 2022 at 9:47:41 AM UTC-7, tita...@gmail.com wrote: > Le vendredi 16
Sep 21
Mostowski Collapse
, …
Fritz Feldhase
69
Sep 21
The Exponentiation Axiom --> An Inconsistency in DC Proof
On Wednesday, September 21, 2022 at 9:02:42 AM UTC+2, Mostowski Collapse wrote: > a) f : A -> B
unread,
The Exponentiation Axiom --> An Inconsistency in DC Proof
On Wednesday, September 21, 2022 at 9:02:42 AM UTC+2, Mostowski Collapse wrote: > a) f : A -> B
Sep 21
Robert J. Kolker
,
Mostowski Collapse
4
Sep 20
Kripkes Theorem?
The month September has really its ups and downs: "One year later, on Monday September 19, 1994,
unread,
Kripkes Theorem?
The month September has really its ups and downs: "One year later, on Monday September 19, 1994,
Sep 20
