* * *

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)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 1920212223
24252627282930

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 02:00 am
Powered by Dreamwidth Studios