Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Every program is a part of some other program, and rarely fits.


programming / comp.lang.asm.x86 / Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders within

SubjectAuthor
* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinolcott
`* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinwolfgang kern
 `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinolcott
  +* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinFrank Kotler
  |+* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinTerje Mathisen
  ||`* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinFrank Kotler
  || `- Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinolcott
  |+- Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinolcott
  |`* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinJames Harris
  | `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinKerr-Mudd,John
  |  +* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (x86 portion)olcott
  |  |`* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (x86 portion)Terje Mathisen
  |  | `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (x86 portion)olcott
  |  |  `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (x86 portion)wolfgang kern
  |  |   `- Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (x86 portion)Frank Kotler
  |  `* Moderation issues - was Re: Refuting the {Linz, Sipser and Kozen} HPFrank Kotler
  |   +- Re: Moderation issues - was Re: Refuting the {Linz, Sipser andRod Pemberton
  |   +- Re: Moderation issues - was Re: Refuting the {Linz, Sipser and Kozen}James Harris
  |   `* Re: Moderation issues - was Re: Refuting the {Linz, Sipser and Kozen}Robert Prins
  |    `* Re: Moderation issues - was Re: Refuting the {Linz, Sipser and Kozen}Terje Mathisen
  |     `- Re: Moderation issues - was Re: Refuting the {Linz, Sipser and Kozen}Frank Kotler
  `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinBernhard Schornak
   `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinolcott
    `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinRobert
     `* Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinolcott
      `- Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders withinBernhard Schornak

Pages:12
Subject: Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders within
From: Bernhard Schornak
Newsgroups: comp.lang.asm.x86
Followup: comp.theory
Organization: A noiseless patient Spider
Date: Wed, 23 Dec 2020 03:33 UTC
References: 1 2 3 4 5 6 7 8 9 10 11 12 13
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: schor...@nospicedham.web.de (Bernhard Schornak)
Newsgroups: comp.lang.asm.x86
Subject: Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders within
Followup-To: comp.theory
Date: Wed, 23 Dec 2020 04:33:01 +0100
Organization: A noiseless patient Spider
Lines: 18
Approved: fbkotler@myfairpoint.net - comp.lang.asm.x86 moderation team.
Message-ID: <rrudpt$gpu$1@dont-email.me>
References: <3JSdnRrpiNHInV3CnZ2dnUU7-YHNnZ2d@giganews.com>
<rr7tvl$h7a$1@dont-email.me> <DLCdnTdFDrYoHErCnZ2dnUU7-e3NnZ2d@giganews.com>
<7fbe5f35-e17b-4964-888d-ef038a6a2126n@googlegroups.com>
<NuydnecrJuqQL0rCnZ2dnUU7-RHNnZ2d@giganews.com>
<20201214113311.509@kylheku.com>
<kcqdnSuH7702QkrCnZ2dnUU7-VvNnZ2d@giganews.com>
<rr9uag$1j0n$1@gioia.aioe.org>
<U9GdnYVTzZu-KkfCnZ2dnUU7-TPNnZ2d@giganews.com> <rrsgi0$4gt$1@dont-email.me>
<Ed6dnahm5sd6i3_CnZ2dnUU7-amdnZ2d@giganews.com> <rrtb2n$jpl$1@gioia.aioe.org>
<zOqdnWa0npJD7X_CnZ2dnUU7-V_NnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="7ffcf61498204f51413416ff7989bcfc";
logging-data="21796"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18oIal2fWQMXdhSqd6HXytovElg5N0aFLQ="
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:60.0) Gecko/20100101
Firefox/60.0 SeaMonkey/2.53.4
Cancel-Lock: sha1:1ni3huA+55yUwoQ8boopIHEgHT8=
View all headers
olcott wrote:


I use it in the x86 emulator to indicate the that system definitely stopped executing at this point. Before I used this instruction the emulator tended to try to execute garbage. When it popped the return from main() it had no where to go.


This is circular reasoning, because your thought depends on
the unproven assumption your x86 emulator throws the proper
results under any circumstance. Does it work with any other
emulator, as well?


Greetings from Augsburg

Bernhard Schornak



Pages:12
rocksolid light 0.7.2
clearneti2ptor