Użytkownik "Andrzej Jarzabek" <a...@g...com> napisał w
wiadomości grup dyskusyjnych:jrockd$f7s$...@i...gazeta.pl...
> Spokojnie. Można mieć język składający się wyłącznie z deklaracji i
> definicji. POszczególne instrukcje nie muszą mieć semantyki "zrób to"
> tylko "x to jest ...", "y ma taką właściwość, że ...", "z nie może być..."
> i tak dalej.

Mizar jest niezłym przykładem.

> Tylko pod warunkiem, że w każdym wątku wykonuje się tylko jedna
> instrukcja. Jeśli w jakimś wątku wykonuje się więcej niż jedna instrukcja,
> to może być tak, że przestawienie kolejności tych instrukcji da inny
> program, który robi co innego, ergo pojęcie "określonej kolejności" nie
> jest zbędne.

A cholera wie jak działa mózg szczura. A co dopiero człowieka lub innej
małpy.

> Wiesz, nie mam ochoty na taką zabawę. To, co masz tam w tabelkach w
> notatkach D i G to są programy komputerowe. Do przełożenia na konkretne
> konfiguracjee kart brakuje tylko konwencji kodowania operacji i
> 'supplying' i 'receiving variable cards'.

Cóż, to nie są programy komputerowe... a co najwyżej kod źródłowy takich
programów.

Inaczej mówiąc - nikt nie zdebugował tego na działającym komputerze, więc
może zadziałać, ale może i nie zadziałać.