Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
comp.theory
Conversations
About
comp.theory
1–30 of 23921
Mark all as read
Report abusive group
0 selected
gena...@gmail.com
Sep 16
LCCOMP news 16.09.2023
LCCOMP, ALIROB: ESCOM-IPN MX UCL-UWE, UK; CCCS, HK; LABORES, FR; NAVY, CR; ISCN, FR; FCSL, JP. Dear
unread,
LCCOMP news 16.09.2023
LCCOMP, ALIROB: ESCOM-IPN MX UCL-UWE, UK; CCCS, HK; LABORES, FR; NAVY, CR; ISCN, FR; FCSL, JP. Dear
Sep 16
Daniel Pehoushek
Sep 14
benchmarks for model counting
book of the middle by daniel forty fifth degree problems each with 500 variables n variables m
unread,
benchmarks for model counting
book of the middle by daniel forty fifth degree problems each with 500 variables n variables m
Sep 14
Victor Porton
,
Daniel Pehoushek
2
Sep 14
Check for errors my proof of P=NP
On Monday, August 21, 2023 at 2:04:39 PM UTC-4, Victor Porton wrote: > Check for errors my proof
unread,
Check for errors my proof of P=NP
On Monday, August 21, 2023 at 2:04:39 PM UTC-4, Victor Porton wrote: > Check for errors my proof
Sep 14
Charlie-Boo
,
Marco Moock
2
Sep 14
Do people in other Countries Believe American Academic BS (Program Synthesis, ZFC, Proof Assistants …)?
Am 13.09.2023 schrieb Charlie-Boo <shyma...@gmail.com>: > How can I make contact with
unread,
Do people in other Countries Believe American Academic BS (Program Synthesis, ZFC, Proof Assistants …)?
Am 13.09.2023 schrieb Charlie-Boo <shyma...@gmail.com>: > How can I make contact with
Sep 14
Charlie-Boo
,
Richard Damon
4
Sep 3
Simple Programming Problem but How Many Ways to Do It?
On 9/2/23 11:43 AM, Charlie-Boo wrote: > On Saturday, August 26, 2023 at 1:24:35 PM UTC-4, Richard
unread,
Simple Programming Problem but How Many Ways to Do It?
On 9/2/23 11:43 AM, Charlie-Boo wrote: > On Saturday, August 26, 2023 at 1:24:35 PM UTC-4, Richard
Sep 3
olcott
, …
Jeffrey Rubard
168
Sep 2
Fake Names of Jeffrey Rubard or just a Big Fib ?
On Friday, September 1, 2023 at 12:25:31 PM UTC-7, Jeffrey Rubard wrote: > On Wednesday, February
unread,
Fake Names of Jeffrey Rubard or just a Big Fib ?
On Friday, September 1, 2023 at 12:25:31 PM UTC-7, Jeffrey Rubard wrote: > On Wednesday, February
Sep 2
olcott
,
Richard Damon
2
Aug 30
Incompleteness is more aptly construed as the non-sequitur error
On 8/30/23 9:07 PM, olcott wrote: > Gödel incompleteness is more aptly construed as the non-
unread,
Incompleteness is more aptly construed as the non-sequitur error
On 8/30/23 9:07 PM, olcott wrote: > Gödel incompleteness is more aptly construed as the non-
Aug 30
olcott
, …
Richard Damon
118
Aug 28
Termination Analyzer H is Not Fooled by Pathological Input D
On 8/28/23 11:05 AM, olcott wrote: > On 8/27/2023 2:31 PM, olcott wrote: >> On 8/27/2023 12:
unread,
Termination Analyzer H is Not Fooled by Pathological Input D
On 8/28/23 11:05 AM, olcott wrote: > On 8/27/2023 2:31 PM, olcott wrote: >> On 8/27/2023 12:
Aug 28
B.H.
, …
Jeffrey Rubard
20
Aug 26
cia, wh, congress, across the street neighbors, "pancho valvejob," jeffrey rubard, deep run park families that use the playground
On Saturday, August 26, 2023 at 8:42:25 AM UTC-7, Jeffrey Rubard wrote: > On Tuesday, February 7,
unread,
cia, wh, congress, across the street neighbors, "pancho valvejob," jeffrey rubard, deep run park families that use the playground
On Saturday, August 26, 2023 at 8:42:25 AM UTC-7, Jeffrey Rubard wrote: > On Tuesday, February 7,
Aug 26
Jeffrey Rubard
, …
Jeffrey Rubard
35
Aug 23
Favorite computation formalism? (The "Best Test" for CS)
On Monday, August 21, 2023 at 2:26:45 PM UTC-7, Jeffrey Rubard wrote: > On Monday, August 21, 2023
unread,
Favorite computation formalism? (The "Best Test" for CS)
On Monday, August 21, 2023 at 2:26:45 PM UTC-7, Jeffrey Rubard wrote: > On Monday, August 21, 2023
Aug 23
olcott
,
Richard Damon
4
Aug 22
Getting rid of Gödel Incompleteness
On 8/22/23 6:56 PM, olcott wrote: > On 8/22/2023 11:07 AM, olcott wrote: >> When we redefine
unread,
Getting rid of Gödel Incompleteness
On 8/22/23 6:56 PM, olcott wrote: > On 8/22/2023 11:07 AM, olcott wrote: >> When we redefine
Aug 22
olcott
,
Richard Damon
3
Aug 20
Establishing a better foundation for logic
On 8/20/23 12:42 PM, Richard Damon wrote: > On 8/20/23 10:41 AM, olcott wrote: >> I
unread,
Establishing a better foundation for logic
On 8/20/23 12:42 PM, Richard Damon wrote: > On 8/20/23 10:41 AM, olcott wrote: >> I
Aug 20
Charlie-Boo
,
Richard Damon
2
Aug 12
Unusual Programming Question Regarding FOR Loops
On 8/12/23 11:55 AM, Charlie-Boo wrote: > In a programming language with no GOTOs (although they
unread,
Unusual Programming Question Regarding FOR Loops
On 8/12/23 11:55 AM, Charlie-Boo wrote: > In a programming language with no GOTOs (although they
Aug 12
dee...@pmail.ntu.edu.sg
4
Aug 12
Skolems Solution for Integer-Linear-Recurrences, with Commensurable Arguments for Characteristic-Roots of the Same Modulus
Dear All, The updated version of my paper with enhanced explanations on all the theorems, is now live
unread,
Skolems Solution for Integer-Linear-Recurrences, with Commensurable Arguments for Characteristic-Roots of the Same Modulus
Dear All, The updated version of my paper with enhanced explanations on all the theorems, is now live
Aug 12
olcott
,
Richard Damon
2
Aug 10
Why people here can't understand me
On 8/9/23 11:10 PM, olcott wrote: > This is the exactly same learned-by-rote compared to careful
unread,
Why people here can't understand me
On 8/9/23 11:10 PM, olcott wrote: > This is the exactly same learned-by-rote compared to careful
Aug 10
olcott
,
Richard Damon
7
Aug 9
Transforming predicate logic into correct reasoning.
On 8/4/23 8:46 PM, olcott wrote: > We may be able to correct every divergence of (every level of)
unread,
Transforming predicate logic into correct reasoning.
On 8/4/23 8:46 PM, olcott wrote: > We may be able to correct every divergence of (every level of)
Aug 9
olcott
,
Richard Damon
4
Aug 9
G := ~(F ⊢ G)
On 8/9/23 7:04 PM, olcott wrote: > On 8/9/2023 4:07 PM, olcott wrote: >> G := ~(F ⊢ G) >
unread,
G := ~(F ⊢ G)
On 8/9/23 7:04 PM, olcott wrote: > On 8/9/2023 4:07 PM, olcott wrote: >> G := ~(F ⊢ G) >
Aug 9
Philip J. White
,
JVV Tenant
4
Aug 9
all active duty usa air force personnel, all active duty usa army personnel
On Friday, July 28, 2023 at 7:13:59 PM UTC+5:30, Philip J. White wrote: > On Friday, July 28, 2023
unread,
all active duty usa air force personnel, all active duty usa army personnel
On Friday, July 28, 2023 at 7:13:59 PM UTC+5:30, Philip J. White wrote: > On Friday, July 28, 2023
Aug 9
olcott
,
Richard Damon
4
Aug 8
Speaking with people that already hold my same philosophical positions
On 8/8/23 1:06 PM, olcott wrote: > On 8/8/2023 2:56 AM, Don Stockbauer wrote: >> On Tuesday,
unread,
Speaking with people that already hold my same philosophical positions
On 8/8/23 1:06 PM, olcott wrote: > On 8/8/2023 2:56 AM, Don Stockbauer wrote: >> On Tuesday,
Aug 8
peteolcott
,
bassam karzeddin
3
Aug 6
bassam king karzeddin: Refuting the Halting Problem proofs (Via a refutation of the Peter Linz proof)
On Friday, February 22, 2019 at 6:14:14 PM UTC+2, peteolcott wrote: > On 2/22/2019 10:12 AM,
unread,
bassam king karzeddin: Refuting the Halting Problem proofs (Via a refutation of the Peter Linz proof)
On Friday, February 22, 2019 at 6:14:14 PM UTC+2, peteolcott wrote: > On 2/22/2019 10:12 AM,
Aug 6
Philip J. White
6
Jul 30
Yeah I never heard back from these firms.
On Sunday, July 30, 2023 at 11:20:28 AM UTC-7, Philip J. White wrote: > On Friday, July 28, 2023
unread,
Yeah I never heard back from these firms.
On Sunday, July 30, 2023 at 11:20:28 AM UTC-7, Philip J. White wrote: > On Friday, July 28, 2023
Jul 30
Philip J. White
11
Jul 27
all virginia and d.c. residents except me
On Thursday, July 27, 2023 at 9:26:01 AM UTC-7, Philip J. White wrote: > On Thursday, July 27,
unread,
all virginia and d.c. residents except me
On Thursday, July 27, 2023 at 9:26:01 AM UTC-7, Philip J. White wrote: > On Thursday, July 27,
Jul 27
Philip J. White
13
Jul 26
Here's a good investment, especially for me.
On Wednesday, July 26, 2023 at 8:18:59 AM UTC-7, Philip J. White wrote: > On Wednesday, July 26,
unread,
Here's a good investment, especially for me.
On Wednesday, July 26, 2023 at 8:18:59 AM UTC-7, Philip J. White wrote: > On Wednesday, July 26,
Jul 26
Philip J. White
Jul 25
shouldn't be an emergency, but...somehow...i typed this on wordpress dot com and on microsoft dot com in the search bar, contacted fbi about malware and was ignored, problem still not solved, norton antivirus didn't work and tech support accessed my
...computer with my permission and just lied, deleted some files, didn't fix anything. Here is
unread,
shouldn't be an emergency, but...somehow...i typed this on wordpress dot com and on microsoft dot com in the search bar, contacted fbi about malware and was ignored, problem still not solved, norton antivirus didn't work and tech support accessed my
...computer with my permission and just lied, deleted some files, didn't fix anything. Here is
Jul 25
Philip J. White
10
Jul 25
comments about the emergency and how this is going....
On Monday, July 24, 2023 at 4:33:04 PM UTC-7, Philip J. White wrote: > On Monday, July 24, 2023 at
unread,
comments about the emergency and how this is going....
On Monday, July 24, 2023 at 4:33:04 PM UTC-7, Philip J. White wrote: > On Monday, July 24, 2023 at
Jul 25
Philip J. White
8
Jul 22
my parents' abuse addiction
On Saturday, July 22, 2023 at 9:19:40 AM UTC-7, Philip J. White wrote: > On Friday, July 21, 2023
unread,
my parents' abuse addiction
On Saturday, July 22, 2023 at 9:19:40 AM UTC-7, Philip J. White wrote: > On Friday, July 21, 2023
Jul 22
olcott
, …
Philip J. White
16
Jul 20
ChatGPT defining a formal system that eliminates Tarski Undefinability and Gödel Incompleteness
On Thursday, July 20, 2023 at 6:55:58 AM UTC-4, Philip J. White wrote: > On Thursday, July 20,
unread,
ChatGPT defining a formal system that eliminates Tarski Undefinability and Gödel Incompleteness
On Thursday, July 20, 2023 at 6:55:58 AM UTC-4, Philip J. White wrote: > On Thursday, July 20,
Jul 20
Philip J. White
17
Jul 18
"You're the Jury" related analysis.
On Tuesday, July 18, 2023 at 4:04:18 PM UTC-7, Philip J. White wrote: > On Tuesday, July 18, 2023
unread,
"You're the Jury" related analysis.
On Tuesday, July 18, 2023 at 4:04:18 PM UTC-7, Philip J. White wrote: > On Tuesday, July 18, 2023
Jul 18
Philip J. White
, …
m syadoz
110
Jul 16
virginia, massachusetts, california, new york
On Sunday, July 16, 2023 at 3:45:32 PM UTC-5, Philip J. White wrote: > On Sunday, July 16, 2023 at
unread,
virginia, massachusetts, california, new york
On Sunday, July 16, 2023 at 3:45:32 PM UTC-5, Philip J. White wrote: > On Sunday, July 16, 2023 at
Jul 16
Philip J. White
2
Jul 16
correction
On Sunday, July 16, 2023 at 1:52:47 PM UTC-7, Philip J. White wrote: > * teach also keep your non-
unread,
correction
On Sunday, July 16, 2023 at 1:52:47 PM UTC-7, Philip J. White wrote: > * teach also keep your non-
Jul 16
