sci.logic

1–30 of 38437

0 selected

Sep 30

Hierarchy of Arithmetics

Let T be a theory of Peano Arithmetic. We can construct the following hierarchy T T' = T + Con(T)

unread,

Hierarchy of Arithmetics

Let T be a theory of Peano Arithmetic. We can construct the following hierarchy T T' = T + Con(T)

Sep 30

Mostowski Collapse, … Ross A. Finlayson14

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

Julio Di Egidio, … Jeffrey Rubard17

Sep 30

The set of natural numbers is not recursive

On Friday, September 30, 2022 at 9:26:02 AM UTC-7, Ross A. Finlayson wrote: > On Sunday, June 20,

unread,

The set of natural numbers is not recursive

On Friday, September 30, 2022 at 9:26:02 AM UTC-7, Ross A. Finlayson wrote: > On Sunday, June 20,

Sep 30

Ross A. Finlayson, … Daniel Pehoushek44

Sep 30

On Saturday, June 12, 2021 at 4:55:20 PM UTC-7, ju...@diegidio.name wrote: > On Friday, 11 June

unread,

On Saturday, June 12, 2021 at 4:55:20 PM UTC-7, ju...@diegidio.name wrote: > On Friday, 11 June

Sep 30

Daniel Pehoushek7

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 Rubard3

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, olcott4

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

Dan Christensen, … Mostowski Collapse19

Sep 29

New Version of DC Proof with expanded tutorial

You are fake news! Dan Christensen schrieb am Mittwoch, 28. September 2022 um 20:47:31 UTC+2: > On

unread,

New Version of DC Proof with expanded tutorial

You are fake news! Dan Christensen schrieb am Mittwoch, 28. September 2022 um 20:47:31 UTC+2: > On

Sep 29

Khong Dong, Jeff Barnett13

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

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

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

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 D130

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

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. Finlayson8

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

Mostowski Collapse, … Dan Christensen59

Sep 24

How difficult is contraposition for DC Proof and Dan Christensen?

On Friday, September 23, 2022 at 7:31:25 PM UTC-4, Mostowski Collapse wrote: > And why can you not

unread,

How difficult is contraposition for DC Proof and Dan Christensen?

On Friday, September 23, 2022 at 7:31:25 PM UTC-4, Mostowski Collapse wrote: > And why can you not

Sep 24

olcott, … Richard Damon12

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 Damon44

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 o24

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

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

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 Feldhase26

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 Pehoushek2

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

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

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. Finlayson72

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 Feldhase69

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 Collapse4

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

Pentcho Valev, … Jeffrey Rubard8

Sep 20

Entropy : the Not Even Wrong Concept That Always Wins

On Monday, September 19, 2022 at 5:52:54 PM UTC-7, Jeffrey Rubard wrote: > On Monday, September 19

unread,

Entropy : the Not Even Wrong Concept That Always Wins

On Monday, September 19, 2022 at 5:52:54 PM UTC-7, Jeffrey Rubard wrote: > On Monday, September 19

Sep 20

Pentcho Valev, Daniel Pehoushek3

Sep 20

Brian Greene Brainwashes the Scientific Community

try these two revised equqtions for dark energy and matter e over mc squared equals log of m force r

unread,

Brian Greene Brainwashes the Scientific Community

try these two revised equqtions for dark energy and matter e over mc squared equals log of m force r

Sep 20

Search

Clear search

Close search

Google apps

Main menu