comp.theory

Liste des Groupes Pages :12345678910111213141516171819202122232425262728293031323334
Date Sujet#  Auteur
14 Oct 24         +- Re: I am claiming that these exact words are necessarily true1Richard Damon
14 Oct 24         `- Re: I am claiming that these exact words are necessarily true1joes
12 Oct 24 * ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts4olcott
12 Oct 24 `* Re: ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts3Richard Damon
12 Oct 24  `* Re: ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts2olcott
12 Oct 24   `- Re: ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts1Richard Damon
26 Sep 24 * Yet another contribution to the P-NP question42nnymous109
26 Sep 24 +* Re: Yet another contribution to the P-NP question40wij
26 Sep 24 i+* Re: Yet another contribution to the P-NP question36nnymous109
26 Sep 24 ii+* Re: Yet another contribution to the P-NP question3André G. Isaak
26 Sep 24 iii`* Re: Yet another contribution to the P-NP question2Mike Terry
26 Sep 24 iii `- Re: Yet another contribution to the P-NP question1André G. Isaak
27 Sep 24 ii+* Re: Yet another contribution to the P-NP question28Ben Bacarisse
27 Sep 24 iii+* Re: Yet another contribution to the P-NP question25Mike Terry
27 Sep 24 iiii+- Re: Yet another contribution to the P-NP question1nnymous109
28 Sep 24 iiii`* Re: Yet another contribution to the P-NP question23Ben Bacarisse
28 Sep 24 iiii +* Re: Yet another contribution to the P-NP question10Mike Terry
28 Sep 24 iiii i+- Re: Yet another contribution to the P-NP question1Jeff Barnett
29 Sep 24 iiii i`* Re: Yet another contribution to the P-NP question8Ben Bacarisse
29 Sep 24 iiii i +* Re: Yet another contribution to the P-NP question3Keith Thompson
29 Sep 24 iiii i i`* Re: Yet another contribution to the P-NP question2Mike Terry
30 Sep 24 iiii i i `- Re: Yet another contribution to the P-NP question1Ben Bacarisse
29 Sep 24 iiii i +* Re: Yet another contribution to the P-NP question2Mike Terry
29 Sep 24 iiii i i`- Re: Yet another contribution to the P-NP question1Ben Bacarisse
29 Sep 24 iiii i `* Re: Yet another contribution to the P-NP question2nnymous109
30 Sep 24 iiii i  `- Re: Yet another contribution to the P-NP question1Ben Bacarisse
28 Sep 24 iiii `* Re: Yet another contribution to the P-NP question12nnymous109
29 Sep 24 iiii  `* Re: Yet another contribution to the P-NP question11Ben Bacarisse
29 Sep 24 iiii   `* Re: Yet another contribution to the P-NP question10nnymous109
29 Sep 24 iiii    +- Re: Yet another contribution to the P-NP question1nnymous109
29 Sep 24 iiii    +- Re: Yet another contribution to the P-NP question1nnymous109
30 Sep 24 iiii    `* Re: Yet another contribution to the P-NP question7Ben Bacarisse
30 Sep 24 iiii     +* Re: Yet another contribution to the P-NP question5nnymous109
30 Sep 24 iiii     i+- Re: Yet another contribution to the P-NP question1nnymous109
1 Oct 24 iiii     i`* Re: Yet another contribution to the P-NP question3Ben Bacarisse
3 Oct 24 iiii     i `* Re: Yet another contribution to the P-NP question2nnymous109
12 Oct 24 iiii     i  `- Re: Yet another contribution to the P-NP question1Ben Bacarisse
3 Oct 24 iiii     `- Re: Yet another contribution to the P-NP question1nnymous109
27 Sep 24 iii`* Re: Yet another contribution to the P-NP question2nnymous109
28 Sep 24 iii `- Re: Yet another contribution to the P-NP question1Ben Bacarisse
30 Sep 24 ii`* Re: Yet another contribution to the P-NP question4wij
3 Oct 24 ii `* Re: Yet another contribution to the P-NP question3nnymous109
3 Oct 24 ii  `* Re: Yet another contribution to the P-NP question2wij
5 Oct 24 ii   `- Re: Yet another contribution to the P-NP question1nnymous109
27 Sep 24 i`* Re: Yet another contribution to the P-NP question3Keith Thompson
27 Sep 24 i `* Re: Yet another contribution to the P-NP question2wij
27 Sep 24 i  `- Re: Yet another contribution to the P-NP question1Keith Thompson
3 Oct 24 `- Re: Yet another contribution to the P-NP question1nnymous109
1 Oct 24 * Even Google AI Overview understands me now123olcott
1 Oct 24 +* Re: Even Google AI Overview understands me now115olcott
1 Oct 24 i+* Re: Even Google AI Overview understands me now103joes
1 Oct 24 ii`* Re: Even Google AI Overview understands me now102olcott
1 Oct 24 ii `* Re: Even Google AI Overview understands me now101joes
2 Oct 24 ii  +* Re: Even Google AI Overview understands me now99olcott
2 Oct 24 ii  i`* Re: Even Google AI Overview understands me now98Richard Damon
2 Oct 24 ii  i `* Re: Even Google AI Overview understands me now97olcott
3 Oct 24 ii  i  +* Re: Even Google AI Overview understands me now95Richard Damon
3 Oct 24 ii  i  i`* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!94olcott
3 Oct 24 ii  i  i +* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!26Richard Damon
4 Oct 24 ii  i  i i`* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!25olcott
4 Oct 24 ii  i  i i `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!24Richard Damon
4 Oct 24 ii  i  i i  `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!23olcott
4 Oct 24 ii  i  i i   `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!22Richard Damon
4 Oct 24 ii  i  i i    `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!21olcott
5 Oct 24 ii  i  i i     `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!20Richard Damon
5 Oct 24 ii  i  i i      `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!19olcott
5 Oct 24 ii  i  i i       `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!18Richard Damon
5 Oct 24 ii  i  i i        `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!17olcott
5 Oct 24 ii  i  i i         `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!16Richard Damon
5 Oct 24 ii  i  i i          `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!15olcott
5 Oct 24 ii  i  i i           `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!14Richard Damon
5 Oct 24 ii  i  i i            `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!13olcott
6 Oct 24 ii  i  i i             `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!12Richard Damon
6 Oct 24 ii  i  i i              `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!11olcott
6 Oct 24 ii  i  i i               `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!10Richard Damon
6 Oct 24 ii  i  i i                `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!9olcott
6 Oct 24 ii  i  i i                 `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!8Richard Damon
6 Oct 24 ii  i  i i                  `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!7olcott
6 Oct 24 ii  i  i i                   `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!6Richard Damon
6 Oct 24 ii  i  i i                    +- Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!1immibis
6 Oct 24 ii  i  i i                    `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!4olcott
6 Oct 24 ii  i  i i                     `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!3Richard Damon
6 Oct 24 ii  i  i i                      `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!2olcott
6 Oct 24 ii  i  i i                       `- Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!1Richard Damon
3 Oct 24 ii  i  i `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!67Mikko
3 Oct 24 ii  i  i  `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!66olcott
4 Oct 24 ii  i  i   +- Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!1Richard Damon
4 Oct 24 ii  i  i   +* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!62Mikko
4 Oct 24 ii  i  i   i`* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!61olcott
5 Oct 24 ii  i  i   i `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!60Mikko
5 Oct 24 ii  i  i   i  `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!59olcott
6 Oct 24 ii  i  i   i   `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!58Mikko
6 Oct 24 ii  i  i   i    `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!57olcott
6 Oct 24 ii  i  i   i     +* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!53Richard Damon
6 Oct 24 ii  i  i   i     i`* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!52olcott
6 Oct 24 ii  i  i   i     i `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!51Richard Damon
6 Oct 24 ii  i  i   i     i  `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!50olcott
6 Oct 24 ii  i  i   i     i   `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!49Richard Damon
6 Oct 24 ii  i  i   i     i    `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!48olcott
6 Oct 24 ii  i  i   i     i     `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!47Richard Damon
6 Oct 24 ii  i  i   i     i      +* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!2olcott
7 Oct 24 ii  i  i   i     i      i`- Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!1Richard Damon
6 Oct 24 ii  i  i   i     i      `* Re: Even Google AI Overview understands me now --- My Stupid Mistake44olcott
7 Oct 24 ii  i  i   i     i       `* Re: Even Google AI Overview understands me now --- My Stupid Mistake43Richard Damon
7 Oct 24 ii  i  i   i     i        `* Re: Even Google AI Overview understands me now --- My Stupid Mistake42olcott
7 Oct 24 ii  i  i   i     i         `* Re: Even Google AI Overview understands me now --- My Stupid Mistake41Richard Damon
7 Oct 24 ii  i  i   i     i          `* Re: Even Google AI Overview understands me now --- My Stupid Mistake40olcott
7 Oct 24 ii  i  i   i     i           `* Re: Even Google AI Overview understands me now --- My Stupid Mistake39Richard Damon
7 Oct 24 ii  i  i   i     i            `* Re: Even Google AI Overview understands me now --- HHH(DDD)==038olcott
8 Oct 24 ii  i  i   i     i             `* Re: Even Google AI Overview understands me now --- HHH(DDD)==037Richard Damon
8 Oct 24 ii  i  i   i     i              `* Re: Even Google AI Overview understands me now --- HHH(DDD)==036olcott
8 Oct 24 ii  i  i   i     i               `* Re: Even Google AI Overview understands me now --- HHH(DDD)==035Richard Damon
8 Oct 24 ii  i  i   i     i                `* Re: Even Google AI Overview understands me now --- HHH(DDD)==034olcott
8 Oct 24 ii  i  i   i     i                 `* Re: Even Google AI Overview understands me now --- HHH(DDD)==033Richard Damon
8 Oct 24 ii  i  i   i     i                  `* Re: Even Google AI Overview understands me now --- HHH(DDD)==032olcott
8 Oct 24 ii  i  i   i     i                   `* Re: Even Google AI Overview understands me now --- HHH(DDD)==031Richard Damon
8 Oct 24 ii  i  i   i     i                    `* Re: Even Google AI Overview understands me now --- HHH(DDD)==030olcott
8 Oct 24 ii  i  i   i     i                     `* Re: Even Google AI Overview understands me now --- HHH(DDD)==029Richard Damon
8 Oct 24 ii  i  i   i     i                      `* Re: Even Google AI Overview understands me now --- HHH(DDD)==028olcott
8 Oct 24 ii  i  i   i     i                       `* Re: Even Google AI Overview understands me now --- HHH(DDD)==027Richard Damon
8 Oct 24 ii  i  i   i     i                        `* Re: Even Google AI Overview understands me now --- HHH(DDD)==026olcott
8 Oct 24 ii  i  i   i     i                         `* Re: Even Google AI Overview understands me now --- HHH(DDD)==025Richard Damon
8 Oct 24 ii  i  i   i     i                          `* Re: Even Google AI Overview understands me now --- HHH(DDD)==024olcott
8 Oct 24 ii  i  i   i     i                           `* Re: Even Google AI Overview understands me now --- HHH(DDD)==023Richard Damon
8 Oct 24 ii  i  i   i     i                            `* Re: Even Google AI Overview understands me now --- HHH(DDD)==022olcott
8 Oct 24 ii  i  i   i     i                             `* Re: Even Google AI Overview understands me now --- HHH(DDD)==021Richard Damon
8 Oct 24 ii  i  i   i     i                              `* Re: Even Google AI Overview understands me now --- HHH(DDD)==020olcott
8 Oct 24 ii  i  i   i     i                               `* Re: Even Google AI Overview understands me now --- HHH(DDD)==019Richard Damon
9 Oct 24 ii  i  i   i     i                                `* Re: Even Google AI Overview understands me now --- HHH(DDD)==018olcott
9 Oct 24 ii  i  i   i     i                                 +* Re: Even Google AI Overview understands me now --- HHH(DDD)==02wij
9 Oct 24 ii  i  i   i     i                                 i`- Re: Even Google AI Overview understands me now --- HHH(DDD)==01olcott
9 Oct 24 ii  i  i   i     i                                 `* Re: Even Google AI Overview understands me now --- HHH(DDD)==015Richard Damon
9 Oct 24 ii  i  i   i     i                                  `* Re: Even Google AI Overview understands me now --- HHH(DDD)==014olcott
9 Oct 24 ii  i  i   i     i                                   `* Re: Even Google AI Overview understands me now --- HHH(DDD)==013Richard Damon
9 Oct 24 ii  i  i   i     i                                    `* HHH(DDD)==012olcott
9 Oct 24 ii  i  i   i     i                                     +* Re: HHH(DDD)==08Mikko
9 Oct 24 ii  i  i   i     i                                     i`* Re: HHH(DDD)==07olcott
9 Oct 24 ii  i  i   i     i                                     i +* Re: HHH(DDD)==05Richard Damon
9 Oct 24 ii  i  i   i     i                                     i i`* Re: HHH(DDD)==04olcott
10 Oct 24 ii  i  i   i     i                                     i i +- Re: HHH(DDD)==01Richard Damon
10 Oct 24 ii  i  i   i     i                                     i i `* Re: HHH(DDD)==02Mikko
10 Oct 24 ii  i  i   i     i                                     i i  `- Re: HHH(DDD)==01olcott
10 Oct 24 ii  i  i   i     i                                     i `- Re: HHH(DDD)==01Mikko
9 Oct 24 ii  i  i   i     i                                     `* Re: HHH(DDD)==03Richard Damon
9 Oct 24 ii  i  i   i     i                                      `* Re: HHH(DDD)==02olcott
9 Oct 24 ii  i  i   i     i                                       `- Re: HHH(DDD)==01Richard Damon
7 Oct 24 ii  i  i   i     `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!3Mikko
7 Oct 24 ii  i  i   i      `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!2olcott
8 Oct 24 ii  i  i   i       `- Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!1Richard Damon
4 Oct 24 ii  i  i   `* Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!2joes
4 Oct 24 ii  i  i    `- Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!1olcott
3 Oct 24 ii  i  `- Re: Even Google AI Overview understands me now1Richard Damon
2 Oct 24 ii  `- Re: Even Google AI Overview understands me now1olcott
1 Oct 24 i`* ChatGPT correctly analyzed the first page of my paper:11olcott
1 Oct 24 i `* Re: ChatGPT correctly analyzed the first page of my paper:10Alan Mackenzie
2 Oct 24 i  `* Re: ChatGPT correctly analyzed the first page of my paper:9olcott
2 Oct 24 i   +* Re: ChatGPT correctly analyzed the first page of my paper:5Alan Mackenzie
2 Oct 24 i   i`* Re: ChatGPT correctly analyzed the first page of my paper:4olcott
2 Oct 24 i   i +* Re: ChatGPT correctly analyzed the first page of my paper: (typo corrected)2olcott
3 Oct 24 i   i i`- Re: ChatGPT correctly analyzed the first page of my paper: (typo corrected)1Mikko
3 Oct 24 i   i `- Re: ChatGPT correctly analyzed the first page of my paper:1Mikko
2 Oct 24 i   `* Re: ChatGPT correctly analyzed the first page of my paper:3Richard Damon
2 Oct 24 i    `* Re: ChatGPT correctly analyzed the first page of my paper:2olcott
3 Oct 24 i     `- Re: ChatGPT correctly analyzed the first page of my paper:1Richard Damon
2 Oct 24 +- Re: Even Google AI Overview understands me now1Richard Damon
2 Oct 24 `* Re: Even Google AI Overview understands me now6Mikko
2 Oct 24  +* Re: Even Google AI Overview understands me now3olcott
3 Oct 24  i+- Re: Even Google AI Overview understands me now1Richard Damon
3 Oct 24  i`- Re: Even Google AI Overview understands me now1Mikko
2 Oct 24  `* Re: Even Google AI Overview understands me now2olcott
3 Oct 24   `- Re: Even Google AI Overview understands me now1Mikko
7 Oct 24 * Simulating Termination Analyzer HHH(DDD) rejects input DDD8olcott
8 Oct 24 +* Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD3Richard Damon
8 Oct 24 i`* Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD2olcott
8 Oct 24 i `- Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD1Richard Damon
8 Oct 24 `* Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD4Mikko
8 Oct 24  `* Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD3olcott
8 Oct 24   +- Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD1Richard Damon
9 Oct 24   `- Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD1Mikko
6 Oct 24 o A Lego turing machine.1Alan Mackenzie
1 Oct 24 * We got rid of Richard?2olcott
1 Oct 24 `- Re: We got rid of Richard?1Richard Damon
22 Sep 24 * Enough of losers stuck in rebuttal mode8olcott
22 Sep 24 +- Re: Enough of losers stuck in rebuttal mode1Richard Damon
23 Sep 24 `* Re: Enough of losers stuck in rebuttal mode6Python
23 Sep 24  `* Re: Enough of losers stuck in rebuttal mode5Mild Shock
23 Sep 24   `* Re: Enough of losers stuck in rebuttal mode4Mild Shock
23 Sep 24    +- Re: Enough of losers stuck in rebuttal mode1Mild Shock
23 Sep 24    +- Re: Enough of losers stuck in rebuttal mode1Mild Shock
23 Sep 24    `- Re: Enough of losers stuck in rebuttal mode1Mild Shock
4 Sep 24 * The Foundation of Linguistic truth is stipulated relations between finite strings22olcott
13 Sep 24 `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings21Mikko
13 Sep 24  `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings20olcott
13 Sep 24   +- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Richard Damon
14 Sep 24   `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings18Mikko
14 Sep 24    `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings17olcott
15 Sep 24     `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings16Mikko
15 Sep 24      +* Re: The Foundation of Linguistic truth is stipulated relations between finite strings14olcott
15 Sep 24      i+- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Richard Damon
16 Sep 24      i`* Re: The Foundation of Linguistic truth is stipulated relations between finite strings12Mikko
16 Sep 24      i `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings11olcott
17 Sep 24      i  +- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Richard Damon
17 Sep 24      i  `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings9Mikko
17 Sep 24      i   `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings8olcott
17 Sep 24      i    `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings7Mikko
17 Sep 24      i     `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings6olcott
18 Sep 24      i      +- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Richard Damon
18 Sep 24      i      `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings4Mikko
18 Sep 24      i       `* Re: The Foundation of Linguistic truth is stipulated relations between finite strings3olcott
19 Sep 24      i        +- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Richard Damon
19 Sep 24      i        `- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Mikko
16 Sep 24      `- Re: The Foundation of Linguistic truth is stipulated relations between finite strings1Fred. Zwarts
15 Sep 24 * Rebutting the Sipser Halting Problem Proof18olcott
15 Sep 24 +* Re: Rebutting the Sipser Halting Problem Proof3Richard Damon
15 Sep 24 i`* Re: Rebutting the Sipser Halting Problem Proof2olcott
16 Sep 24 i `- Re: Rebutting the Sipser Halting Problem Proof1Richard Damon
16 Sep 24 +* Re: Rebutting the Sipser Halting Problem Proof3Mikko
16 Sep 24 i`* Re: Rebutting the Sipser Halting Problem Proof2olcott
17 Sep 24 i `- Re: Rebutting the Sipser Halting Problem Proof1Mikko
16 Sep 24 +- Re: Rebutting the Sipser Halting Problem Proof1Fred. Zwarts
16 Sep 24 `* Re: Rebutting the Sipser Halting Problem Proof10Fred. Zwarts
16 Sep 24  `* Re: Rebutting the Sipser Halting Problem Proof --- damned liar9olcott
16 Sep 24   +* Re: Rebutting the Sipser Halting Problem Proof --- damned liar7Fred. Zwarts
16 Sep 24   i`* Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulating D6olcott
17 Sep 24   i `* Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulating D5Richard Damon
17 Sep 24   i  `* Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulating D4olcott
17 Sep 24   i   `* Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulating D3Richard Damon
17 Sep 24   i    `* Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulating D2olcott
17 Sep 24   i     `- Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulating D1Richard Damon
17 Sep 24   `- Re: Rebutting the Sipser Halting Problem Proof --- damned liar1Richard Damon
17 Sep 24 * The Foundation of Linguistic truth is NOT stipulated relations between finite strings4Jeff Barnett
17 Sep 24 `* Re: The Foundation of Linguistic truth is NOT stipulated relations between finite strings3olcott
17 Sep 24  +- Re: The Foundation of Linguistic truth is NOT stipulated relations between finite strings1Richard Damon
17 Sep 24  `- Re: The Foundation of Linguistic truth is NOT stipulated relations between finite strings1Mikko
2 Sep 24 * Defining a correct simulating halt decider193olcott
2 Sep 24 +- Re: Defining a correct simulating halt decider1Richard Damon
2 Sep 24 +* Re: Defining a correct simulating halt decider39Fred. Zwarts
2 Sep 24 i+* Re: Defining a correct simulating halt decider27olcott
2 Sep 24 ii+- Re: Defining a correct simulating halt decider1Richard Damon
3 Sep 24 ii+* Re: Defining a correct simulating halt decider4Fred. Zwarts
3 Sep 24 iii`* Re: Defining a correct simulating halt decider3olcott
4 Sep 24 iii +- Re: Defining a correct simulating halt decider1Richard Damon
4 Sep 24 iii `- Re: Defining a correct simulating halt decider1Fred. Zwarts
3 Sep 24 ii`* Re: Defining a correct simulating halt decider21joes
3 Sep 24 ii +- Re: Defining a correct simulating halt decider1olcott
3 Sep 24 ii `* Re: Defining a correct simulating halt decider19olcott
3 Sep 24 ii  +* Re: Defining a correct simulating halt decider13joes
3 Sep 24 ii  i`* Re: Defining a correct simulating halt decider12olcott
4 Sep 24 ii  i +- Re: Defining a correct simulating halt decider1Richard Damon
4 Sep 24 ii  i `* Re: Defining a correct simulating halt decider10Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal