* * *

Sep. 7th, 2016 01:05 pm
bamalip: (NGE)
на стекэксчендже вспомнили про разрешимые арифметики:
http://philosophy.stackexchange.com/questions/37665/are-there-simpler-kinds-of-arithmetic-that-are-decidable
bamalip: (NGE)
По поводу ветки (где я общаюсь с [livejournal.com profile] sassa_nf и [livejournal.com profile] pbl) помню, было когда-то обсуждение в рассылке по Идрису: какому тайпклассу должны соответствовать встроенные вещественные числа IEEE стандарта? Если делать по-честному, то это не будет настоящее алгебраическое поле. А что это? Есть (конечное) множество, операции на нем. Но нет алгебраической структуры, под которую эти операции подходят.

Можно, конечно, постулировать, будто это поле и так жить на фоне самообмана, как обычно живут прикладные математики. Но если у нас формальные методы и все утверждения должно четко отражать манипуляции с битами, то так делать нехорошо. Но каков выход? Теории таких почти-полей нет. Анализа на почти-полях нет, линейной алгебры над почти-полями нет. По крайней мере я таких областей науки не знаю.

Может меня кто-то сейчас просветит? :)

Дополню цитатой из Воеводского: "Прикладная математика, может быть жестко так говорить, но она находится в состоянии жестокого застоя. По сути своей они используют модели, которым по 50 лет, слегка модифицируют, подгоняют под современные задачи."

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23242526272829
3031     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 22nd, 2017 06:41 pm
Powered by Dreamwidth Studios