О теории типов
Известный "кризис оснований математики", который произошел в начале XX века. Возник он из-за (или благодаря, тут трудно сказать) "Наивной теории мно…
Tech news from the best sources
Известный "кризис оснований математики", который произошел в начале XX века. Возник он из-за (или благодаря, тут трудно сказать) "Наивной теории мно…