juan_gandhi: (Default)
[personal profile] juan_gandhi
За каким-то хреном ознакомился с историей вопроса, и, в частности, как он громит Дмитрия Павлова, как бы выпускника ЛИТМО.

По-моему, Шалыто этот - обычный советский идиот. Как это у него получается, что он конечные автоматы изобрёл?
Извините если что.

Date: 2010-05-08 05:00 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
как-то мне это не очевидно.

Date: 2010-05-09 12:37 am (UTC)
From: [identity profile] mr-aleph.livejournal.com
не очевидно что именно?

что структура Крипке это своего рода конечный автомат?

или что структуры Крипке используются в теории?

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 18th, 2025 03:55 pm
Powered by Dreamwidth Studios