sci.logic

1–30 of 38436

0 selected

Khong Dong, Jeff Barnett8

11:50 AM

'How would one formally define -- in the language of real numbers -- the unary predicate constant symbol "prime"?'

On Sunday, 25 September 2022 at 19:49:14 UTC-6, Khong Dong wrote: > On Sunday, 25 September 2022

unread,

'How would one formally define -- in the language of real numbers -- the unary predicate constant symbol "prime"?'

On Sunday, 25 September 2022 at 19:49:14 UTC-6, Khong Dong wrote: > On Sunday, 25 September 2022

11:50 AM

11:49 AM

Re: The Halting Problem proofs have a fatal flaw [ Visual Studio c/c++ project ]

Halt deciders only compute the mapping from their inputs to an accept or reject state on the basis of

unread,

Re: The Halting Problem proofs have a fatal flaw [ Visual Studio c/c++ project ]

Halt deciders only compute the mapping from their inputs to an accept or reject state on the basis of

11:49 AM

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 26

Einstein: I Want Gravitational Waves to Travel at the Speed of Light

LIGO fakers want light and gravitational waves to travel at the speed of information: LIGO fakers:

unread,

Einstein: I Want Gravitational Waves to Travel at the Speed of Light

LIGO fakers want light and gravitational waves to travel at the speed of information: LIGO fakers:

Sep 26

Dan Christensen, … Fritz Feldhase17

Sep 25

New Version of DC Proof with expanded tutorial

On Sunday, September 25, 2022 at 10:40:12 PM UTC+2, Mostowski Collapse wrote: > If you have

unread,

New Version of DC Proof with expanded tutorial

On Sunday, September 25, 2022 at 10:40:12 PM UTC+2, Mostowski Collapse wrote: > If you have

Sep 25

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 Pehoushek6

Sep 25

the most general intelligence in twelve lines ever published on sci dot logic

On Thursday, September 22, 2022 at 9:25:14 AM UTC-4, Daniel Pehoushek wrote: > On Wednesday,

unread,

the most general intelligence in twelve lines ever published on sci dot logic

On Thursday, September 22, 2022 at 9:25:14 AM UTC-4, Daniel Pehoushek wrote: > On Wednesday,

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

Sep 19

Did Einstein's Constant-Speed-of-Light Falsehood Kill Physics?

Einstein's constant speed of light is obviously false. Consider Doppler (moving observer): https:

unread,

Did Einstein's Constant-Speed-of-Light Falsehood Kill Physics?

Einstein's constant speed of light is obviously false. Consider Doppler (moving observer): https:

Sep 19

Mostowski Collapse, … Daniel Pehoushek27

Sep 19

ANN: Dogelog: We Have Liftoff, We Have Liftoff

The Dogelog player did already have support for the discontiguous/1 directive for a while, but the

unread,

ANN: Dogelog: We Have Liftoff, We Have Liftoff

The Dogelog player did already have support for the discontiguous/1 directive for a while, but the

Sep 19

Graham Cooper, Sergio2

Sep 18

ERROR in CANTORS PROOF

On 9/18/2022 1:56 AM, Graham Cooper wrote: > take a random sequence of digits > > rr =

unread,

ERROR in CANTORS PROOF

On 9/18/2022 1:56 AM, Graham Cooper wrote: > take a random sequence of digits > > rr =

Sep 18

olcott, Mr Flibble5

Sep 17

Hx(Px,Px)==0 is proven to be correct (refuting halting problem proofs) V2sci

On Fri, 16 Sep 2022 20:10:57 -0500 olcott <polcott2@gmail.com> wrote: > On 9/16/2022 8:06 PM

unread,

Hx(Px,Px)==0 is proven to be correct (refuting halting problem proofs) V2sci

On Fri, 16 Sep 2022 20:10:57 -0500 olcott <polcott2@gmail.com> wrote: > On 9/16/2022 8:06 PM

Sep 17

Search

Clear search

Close search

Google apps

Main menu