comp.theory

1–30 of 23592

0 selected

4:08 PM

A semi-proof ℙ≠ℕℙ

This file is intended a proof solving ℙ?=ℕℙ problem (ℙ≠ℕℙ). https://sourceforge.net/projects/cscall/

unread,

A semi-proof ℙ≠ℕℙ

This file is intended a proof solving ℙ?=ℕℙ problem (ℙ≠ℕℙ). https://sourceforge.net/projects/cscall/

4:08 PM

olcott, … Richard Damon73

3:36 PM

Simulating halt decider axiom

On 12/6/22 2:33 PM, olcott wrote: > On 12/6/2022 11:30 AM, Richard Damon wrote: >> On 12/6/

unread,

Simulating halt decider axiom

On 12/6/22 2:33 PM, olcott wrote: > On 12/6/2022 11:30 AM, Richard Damon wrote: >> On 12/6/

3:36 PM

5:55 AM

Wiggly line simplification

It's not really theory, but comp theory people might like to lend a hand with this, over in comp,

unread,

Wiggly line simplification

It's not really theory, but comp theory people might like to lend a hand with this, over in comp,

5:55 AM

Mr Flibble, … Jeffrey Rubard10

Dec 5

Copyright violations will not be tolerated

On Saturday, December 3, 2022 at 2:50:11 PM UTC-8, Jeffrey Rubard wrote: > On Wednesday, November

unread,

Copyright violations will not be tolerated

On Saturday, December 3, 2022 at 2:50:11 PM UTC-8, Jeffrey Rubard wrote: > On Wednesday, November

Dec 5

olcott, … Skep Dick120

Dec 5

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

On Monday, 5 December 2022 at 16:02:54 UTC+2, richar...@gmail.com wrote: > On 12/5/22 1:50 AM,

unread,

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

On Monday, 5 December 2022 at 16:02:54 UTC+2, richar...@gmail.com wrote: > On 12/5/22 1:50 AM,

Dec 5

Philip White, Greta Baine2

Dec 4

scarlett johansson, grimes, elon musk, mark hamill, pete davidson, ariana grande, stephen king, hillary clinton, bill clinton, rahm emmanuel, mark milley, david petareus, holly petraues, paula broadwell, dhs, all christian extremists in the usa

On 11/5/2022 3:10 PM, Philip White wrote: > > 0 x7000 Get a brain.

unread,

scarlett johansson, grimes, elon musk, mark hamill, pete davidson, ariana grande, stephen king, hillary clinton, bill clinton, rahm emmanuel, mark milley, david petareus, holly petraues, paula broadwell, dhs, all christian extremists in the usa

On 11/5/2022 3:10 PM, Philip White wrote: > > 0 x7000 Get a brain.

Dec 4

Mr Flibble, … Jeffrey Rubard7

Dec 3

On Friday, December 2, 2022 at 1:47:03 PM UTC-8, skepd...@gmail.com wrote: > On Friday, 2 December

unread,

On Friday, December 2, 2022 at 1:47:03 PM UTC-8, skepd...@gmail.com wrote: > On Friday, 2 December

Dec 3

Dec 2

A ℙ≠ℕℙ proof for review (v1.0)

Using C-like notation: ℙ::= Set of decision problem which can be computed by TM in P-time. ℕℙ::= Set

unread,

A ℙ≠ℕℙ proof for review (v1.0)

Using C-like notation: ℙ::= Set of decision problem which can be computed by TM in P-time. ℕℙ::= Set

Dec 2

Dec 2

https://www.tiktok.com/@looneytony4/video/7166638178647035137? is_from_webapp=v1&item_id=

unread,

https://www.tiktok.com/@looneytony4/video/7166638178647035137? is_from_webapp=v1&item_id=

Dec 2

wij, Ben Bacarisse2

Nov 29

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

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

unread,

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

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

Nov 29

Philip White, … Jeffrey Rubard15

Nov 28

Note about patent.

On Sunday, November 27, 2022 at 4:45:50 PM UTC-8, philipw...@gmail.com wrote: > On Tuesday,

unread,

Note about patent.

On Sunday, November 27, 2022 at 4:45:50 PM UTC-8, philipw...@gmail.com wrote: > On Tuesday,

Nov 28

wij, Ben Bacarisse3

Nov 28

Is S a NP problem?

On Tuesday, November 29, 2022 at 12:01:26 AM UTC+8, wij wrote: > Define: bool S(Prog,Arg): S(c,n)=

unread,

Is S a NP problem?

On Tuesday, November 29, 2022 at 12:01:26 AM UTC+8, wij wrote: > Define: bool S(Prog,Arg): S(c,n)=

Nov 28

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

wij, … Ben Bacarisse3

Nov 25

About a ℙ≠ℕℙ proof (v3)

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

unread,

About a ℙ≠ℕℙ proof (v3)

wij <wyni...@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 <wyni...@gmail.com> writes: > I am happy to announce the ℙ≠ℕℙ problem can be succinctly

unread,

ℙ≠ℕℙ proof (revised)

wij <wyni...@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 <fli...@reddwarf.jmc.corp> writes:

unread,

Universal Compiler (neos)

On 11/21/2022 5:29 PM, Ben Bacarisse wrote: > Mr Flibble <fli...@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 <wyni...@gmail.com> writes: > I am happy to announce the ℙ≠ℕℙ problem can be succinctly

unread,

ℙ≠ℕℙ (solved)

wij <wyni...@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

Search

Clear search

Close search

Google apps

Main menu