Dmitri Pavlov - Обновление манифеста

[Recent Entries][Archive][Friends][User Info]

January 24th, 2011

10:17 am

Обновление манифеста

Comments

From:	dmitri_pavlov
Date:	January 23rd, 2013 - 06:46 pm

Re: Список книг и статей под манифест

(Link)

ETCS, конечно, а скоро, видимо, будет актуальна гомотопическая теория типов.
Читать надо книгу Lawvere, Rosebrugh, Sets for Mathematics.

(Reply to this) (Parent) (Thread)

From:	chronos
Date:	January 24th, 2013 - 12:11 am

Re: Список книг и статей под манифест

(Link)

>ETCS, конечно, а скоро, видимо, будет актуальна гомотопическая теория типов.

А остальные, перечисленные мною, аксиоматики совсем интереса не представляют?

(Reply to this) (Parent) (Thread)

From:	dmitri_pavlov
Date:	January 24th, 2013 - 11:24 am

Re: Список книг и статей под манифест

(Link)

Для логиков — несомненно представляют,
для математиков — нет.

(Reply to this) (Parent)