Я примерно на эту тему недавно даже книжку заказал в магазине, под названием "Крейзелиана".

Дай пожалуйста ссылку на какой-нибудь обзор. А слово топос
в этой науке произносится ?

(Reply to this) (Parent) (Thread)

> Дай пожалуйста ссылку на какой-нибудь обзор.

---- Миша, на обзор чего? Логики?

> А слово топос в этой науке произносится ?

---- В которой науке??? В логике???

.

.

.

Помню, Миша, у нас с тобой был разговор зимой 1995/1996 года на лестнице в Ломи.
Я тогда, начитавшийся про конструктивную математику, интуиционизм и топосы (гольдблаттову книжку) тебе про это рассказывал страстно.
Ты послушал-послушал, покачал головой и сказал: "Это всё не интересно. Меня интересует только Сложность [вычислений]".

(Reply to this) (Parent) (Thread)

Дальше идут АCA^'_0, АТR_0, Pi_1^2 CA_0 и Z_2.
До АТR_0 бесконечность еще не называют актуальной, потому что нет сильных формул выделения.

обзор и топос в науке про эти системы и особенно бесконечности..

какой я был глупый, могу представить. впрочем, и есть. меня не интересует сложность (вычислений-теперь) .)

(Reply to this) (Parent) (Thread)

Misha, okroj pozhalusta novuju, otdelnuju temu pro eto. Ja chto-nibud' esche umnoe skazhu.

Pro eti sistemy - pochti vse logicheskie knizhki v mire. V Kleene oni vypisany v jazyke p[ervogo porjadka
i nazyvajutsya

RCA_0 --- primitivno rekursivnaja arifmetika

ACA_o --- arifmetika Peano

ACA^'_0 --- arifmetika Peano rasshirennaja mnogochislennymi dobavlenijami principa refleksii (rovno epsilon_{epsilon_0} raz.

(Reply to this) (Parent)

sovsem novuju temu (novyj post).

(Reply to this) (Parent) (Thread)

mozhno. no luchshe by ego sdelat' citatoj ili naborom citat
(wse eti spory uzhe sporeny-peresporeny..) any ideas ?

(Reply to this) (Parent) (Thread)

ne znaju dazhe chto i posovetovat'... Ty v kakoj sejchas strane (kotoraja biblioteka pod rukoj)?

Ja dumal chto raz u tebja PhD po logike, to ty vsyo eto ne xuzhe menja znaesh'?

Mozhno simpsonovu knizhku pochitat' konechno, no tam ne vsyo.

(Reply to this) (Parent)