Sujet : Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 13. Jul 2024, 09:48:30
Autres entêtes
Organisation : -
Message-ID : <v6tbge$3gegs$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Unison/2.2
On 2024-07-12 13:07:13 +0000, olcott said:
On 7/12/2024 2:49 AM, Mikko wrote:
On 2024-07-11 14:40:50 +0000, olcott said:
It is a hierarchy of prerequisites of knowledge.
Before anyone can understand a simulating termination
analyzer based on an x86 emulator they must understand
(1) x86 emulation
(2) Termination Analysis.
The order should be:
(1) termination analysis and termination analyzer,
(2) simulating termination analyzer,
(3) x86,
(4) x86 emulation,
(5) simulating termination analyzer based on an x86 emulator.
*That order has proven to not work*
People are getting stuck on x86 emulation.
In that case it is likely that no order that contains x86 emulation at
any point will not work.
-- Mikko
…