comp.theory

1–30 of 23586

0 selected

12:56 PM

Not one person on this forum ever gave me a fair and honest review

void D(void (*x)()) { int Halt_Status = H(x, x); if (Halt_Status) HERE: goto HERE; return; } int main

unread,

Not one person on this forum ever gave me a fair and honest review

void D(void (*x)()) { int Halt_Status = H(x, x); if (Halt_Status) HERE: goto HERE; return; } int main

12:56 PM

wij, Ben Bacarisse2

11:50 AM

Is S a NP problem?

wij <wyniijj5@gmail.com> writes: > Define: bool S(Prog,Arg): S(c,n)==true iff ∃x, c(x)

unread,

Is S a NP problem?

wij <wyniijj5@gmail.com> writes: > Define: bool S(Prog,Arg): S(c,n)==true iff ∃x, c(x)

11:50 AM

Philip White, … Jeffrey Rubard14

Nov 27

Note about patent.

On Tuesday, November 22, 2022 at 3:05:19 PM UTC-5, Jeffrey Rubard wrote: > On Sunday, November 20,

unread,

Note about patent.

On Tuesday, November 22, 2022 at 3:05:19 PM UTC-5, Jeffrey Rubard wrote: > On Sunday, November 20,

Nov 27

Mr Flibble, … Philip White6

Nov 27

Halting Problem (reprise)

On Saturday, November 26, 2022 at 8:41:18 PM UTC-5, BH wrote: > On 11/26/2022 3:22 PM, Jeffrey

unread,

Halting Problem (reprise)

On Saturday, November 26, 2022 at 8:41:18 PM UTC-5, BH wrote: > On 11/26/2022 3:22 PM, Jeffrey

Nov 27

Nov 27

About a ℙ≠ℕℙ proof (v3.2)

Basic proof (using C-like notation): Define: bool S(Prog,Arg): S(c,n)==true iff ∃x, c(x) returns true

unread,

About a ℙ≠ℕℙ proof (v3.2)

Basic proof (using C-like notation): Define: bool S(Prog,Arg): S(c,n)==true iff ∃x, c(x) returns true

Nov 27

Nov 26

On Sat, 26 Nov 2022 10:19:16 -0600, Mr Flibble wrote: > On 11/26/2022 9:47 AM, Brother Desmond (

unread,

On Sat, 26 Nov 2022 10:19:16 -0600, Mr Flibble wrote: > On 11/26/2022 9:47 AM, Brother Desmond (

Nov 26

wij, … Ben Bacarisse3

Nov 25

About a ℙ≠ℕℙ proof (v3)

wij <wyniijj5@gmail.com> writes: > Basic proof (using C-like notation): > Define: bool S(

unread,

About a ℙ≠ℕℙ proof (v3)

wij <wyniijj5@gmail.com> writes: > Basic proof (using C-like notation): > Define: bool S(

Nov 25

olcott, … Richard Damon182

Nov 24

Is the notion of a simulating halt decider correct ?

On 11/24/2022 5:03 AM, Mikko wrote: > On 2022-11-23 14:22:58 +0000, olcott said: > >> On

unread,

Is the notion of a simulating halt decider correct ?

On 11/24/2022 5:03 AM, Mikko wrote: > On 2022-11-23 14:22:58 +0000, olcott said: > >> On

Nov 24

olcott, … Richard Damon67

Nov 23

NO ONE HERE UNDERSTANDS THIS

On 11/23/22 11:14 AM, olcott wrote: > On 11/23/2022 3:55 AM, Mikko wrote: >> On 2022-11-22

unread,

NO ONE HERE UNDERSTANDS THIS

On 11/23/22 11:14 AM, olcott wrote: > On 11/23/2022 3:55 AM, Mikko wrote: >> On 2022-11-22

Nov 23

wij, Ben Bacarisse2

Nov 22

ℙ≠ℕℙ proof (revised)

wij <wyniijj5@gmail.com> writes: > I am happy to announce the ℙ≠ℕℙ problem can be succinctly

unread,

ℙ≠ℕℙ proof (revised)

wij <wyniijj5@gmail.com> writes: > I am happy to announce the ℙ≠ℕℙ problem can be succinctly

Nov 22

Mr Flibble, … Jeff Barnett29

Nov 22

Universal Compiler (neos)

On 11/21/2022 5:29 PM, Ben Bacarisse wrote: > Mr Flibble <flibble@reddwarf.jmc.corp> writes:

unread,

Universal Compiler (neos)

On 11/21/2022 5:29 PM, Ben Bacarisse wrote: > Mr Flibble <flibble@reddwarf.jmc.corp> writes:

Nov 22

Guilherme Paulino-Passos

Nov 21

ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)

Please circulate within your networks. Apologies for multiple postings. =============================

unread,

ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)

Please circulate within your networks. Apologies for multiple postings. =============================

Nov 21

wij, Ben Bacarisse2

Nov 21

ℙ≠ℕℙ (solved)

wij <wyniijj5@gmail.com> writes: > I am happy to announce the ℙ≠ℕℙ problem can be succinctly

unread,

ℙ≠ℕℙ (solved)

wij <wyniijj5@gmail.com> writes: > I am happy to announce the ℙ≠ℕℙ problem can be succinctly

Nov 21

Philip White, … Jeffrey Rubard7

Nov 19

U. of mary washington, singers and other artists who have made art about me but not paid me or spoken to me, clenise white, fbi, doj, african-american bad guy at Deep Run Park, Peter Olcott, Ben Bacarisse, "Mr. Flibble," food lion, cvs, walmart

On Wednesday, November 16, 2022 at 5:40:52 PM UTC-8, Jeffrey Rubard wrote: > On Tuesday, November

unread,

U. of mary washington, singers and other artists who have made art about me but not paid me or spoken to me, clenise white, fbi, doj, african-american bad guy at Deep Run Park, Peter Olcott, Ben Bacarisse, "Mr. Flibble," food lion, cvs, walmart

On Wednesday, November 16, 2022 at 5:40:52 PM UTC-8, Jeffrey Rubard wrote: > On Tuesday, November

Nov 19

Nov 19

L'AMOUR TOUJOURS

https://www.youtube.com/watch?v=w15oWDh02K4

unread,

L'AMOUR TOUJOURS

https://www.youtube.com/watch?v=w15oWDh02K4

Nov 19

ex falso quodlibet, … Richard Damon4

Nov 19

What is Flibble hiding behind his fake name?

On 11/19/22 12:31 PM, Mr Flibble wrote: > On Sat, 19 Nov 2022 08:33:38 -0800, ex falso quodlibet

unread,

What is Flibble hiding behind his fake name?

On 11/19/22 12:31 PM, Mr Flibble wrote: > On Sat, 19 Nov 2022 08:33:38 -0800, ex falso quodlibet

Nov 19

Nov 19

Pedophile blocked; I am thinking of blocking Richard Damon too as he seems to enjoy discussing things

unread,

Pedophile blocked; I am thinking of blocking Richard Damon too as he seems to enjoy discussing things

Nov 19

Mr Flibble, … wij5

Nov 19

Cease this Halting Problem shite now?

On Saturday, November 19, 2022 at 12:48:23 AM UTC+8, Mr Flibble wrote: > Can we cease this Halting

unread,

Cease this Halting Problem shite now?

On Saturday, November 19, 2022 at 12:48:23 AM UTC+8, Mr Flibble wrote: > Can we cease this Halting

Nov 19

olcott, … Mr Flibble164

Nov 17

Simulating halt decider applied to a simpler input

On 11/17/2022 11:14 AM, Mr Flibble wrote: > On Wed, 16 Nov 2022 20:04:47 -0500 > Richard Damon

unread,

Simulating halt decider applied to a simpler input

On 11/17/2022 11:14 AM, Mr Flibble wrote: > On Wed, 16 Nov 2022 20:04:47 -0500 > Richard Damon

Nov 17

olcott, … Richard Damon21

Nov 16

Validating that H correctly determines the halt status of D

On 11/16/22 9:36 PM, olcott wrote: > On 11/16/2022 7:05 PM, Richard Damon wrote: >> On 11/15

unread,

Validating that H correctly determines the halt status of D

On 11/16/22 9:36 PM, olcott wrote: > On 11/16/2022 7:05 PM, Richard Damon wrote: >> On 11/15

Nov 16

Mr Flibble, … Richard Damon16

Nov 16

How credible is Mr Damon?

On 11/16/22 10:52 AM, olcott wrote: > On 11/16/2022 8:42 AM, Python wrote: >> Le 16/11/2022

unread,

How credible is Mr Damon?

On 11/16/22 10:52 AM, olcott wrote: > On 11/16/2022 8:42 AM, Python wrote: >> Le 16/11/2022

Nov 16

wij, … Jeff Barnett4

Nov 16

About Rubik cube problems

On 11/16/2022 10:59 AM, wij wrote: > On Saturday, August 6, 2022 at 7:57:45 PM UTC+8, Andy Walker

unread,

About Rubik cube problems

On 11/16/2022 10:59 AM, wij wrote: > On Saturday, August 6, 2022 at 7:57:45 PM UTC+8, Andy Walker

Nov 16

Philip White, Efftard K. Donglemeier2

Nov 15

anne hathaway, bella hadid, kesha sebert, billie eilish, nancy pelosi, paul pelosi, donald trump, barack obama, gay rights movement, abortion rights movement, NAMI (but not mentally disabled people)

On 11/5/2022 3:11 PM, Philip White wrote: > > 0 x7000 Retard-o-matic Nazi-fagit You're a

unread,

anne hathaway, bella hadid, kesha sebert, billie eilish, nancy pelosi, paul pelosi, donald trump, barack obama, gay rights movement, abortion rights movement, NAMI (but not mentally disabled people)

On 11/5/2022 3:11 PM, Philip White wrote: > > 0 x7000 Retard-o-matic Nazi-fagit You're a

Nov 15

Mr Flibble, Hoofington P. McSnort2

Nov 12

It's the Olcott and Damon Show!

On 11/12/2022 2:08 PM, Mr Flibble wrote: > It's the Olcott and Damon Show! > > Episode #

unread,

It's the Olcott and Damon Show!

On 11/12/2022 2:08 PM, Mr Flibble wrote: > It's the Olcott and Damon Show! > > Episode #

Nov 12

wij, Ben Bacarisse2

Nov 12

A ℙ≠ℕℙ Proof for improvement (v3)

wij <wyniijj5@gmail.com> writes: > Using C-like notation: > Define: ℙ={f| f is a decision

unread,

A ℙ≠ℕℙ Proof for improvement (v3)

wij <wyniijj5@gmail.com> writes: > Using C-like notation: > Define: ℙ={f| f is a decision

Nov 12

B.H., … Jeffrey Rubard17

Nov 12

cia, wh, congress, across the street neighbors, "pancho valvejob," jeffrey rubard, deep run park families that use the playground, wij, greta baine

On Thursday, November 10, 2022 at 7:02:09 PM UTC-8, Efftard K. Donglemeier wrote: > On 11/10/2022

unread,

cia, wh, congress, across the street neighbors, "pancho valvejob," jeffrey rubard, deep run park families that use the playground, wij, greta baine

On Thursday, November 10, 2022 at 7:02:09 PM UTC-8, Efftard K. Donglemeier wrote: > On 11/10/2022

Nov 12

olcott, … Mr Flibble3

Nov 11

Validating the notion of a simulating halt decider

On Fri, 11 Nov 2022 10:12:43 -0500 Richard Damon <Richard@Damon-Family.org> wrote: > On 11/

unread,

Validating the notion of a simulating halt decider

On Fri, 11 Nov 2022 10:12:43 -0500 Richard Damon <Richard@Damon-Family.org> wrote: > On 11/

Nov 11

olcott, … Mikko20

Nov 11

A PhD computer scientist spent three days in chat reviewing my paper

On 2022-11-09 18:34:43 +0000, Mr Flibble said: > Again with the childish examples of category

unread,

A PhD computer scientist spent three days in chat reviewing my paper

On 2022-11-09 18:34:43 +0000, Mr Flibble said: > Again with the childish examples of category

Nov 11

olcott, … olcott24

Nov 10

How a PhD computer scientist lied about my work

On 11/10/2022 3:33 PM, Mr Flibble wrote: > On Thu, 10 Nov 2022 13:17:53 -0600 > olcott <none

unread,

How a PhD computer scientist lied about my work

On 11/10/2022 3:33 PM, Mr Flibble wrote: > On Thu, 10 Nov 2022 13:17:53 -0600 > olcott <none

Nov 10

olcott, … Mr Flibble3

Nov 9

A PhD computer scientist spent three days in chat reviewing my paper V2

On Wed, 9 Nov 2022 13:12:54 -0600 olcott <polcott2@gmail.com> wrote: > void D(void (*x)())

unread,

A PhD computer scientist spent three days in chat reviewing my paper V2

On Wed, 9 Nov 2022 13:12:54 -0600 olcott <polcott2@gmail.com> wrote: > void D(void (*x)())

Nov 9

Search

Clear search

Close search

Google apps

Main menu