下周走势及策略——买卖点吧

百度我现在教你怎么救他，你把病人平放。

Ультраф?н?тизм у ф?лософ?? математики (також в?домий як ультра?нту?ц?он?зм^[1], строгий формал?зм^[2], строгий ф?н?тизм^[2], актуал?зм^[1]) — р?зновид ф?н?тизму. Сп?льною рисою р?зних теч?й у ф?лософ?? математики, що використовують у сво?х назвах терм?н ?ультраф?н?тизм?, ? заперечення тотальност? функц?й з теор?? чисел, наприклад показникових функц?й над натуральними числами.

Головн? засади

Як ? ?нш? р?зновиди ф?н?тизму, ультраф?н?тизм заперечу? ?снування неск?нченно? множини N натуральних чисел. Також прихильники ультраф?н?тизму ставлять п?д сумн?в так? математичн? об'?кти, як? не можна сконструювати ?практично?, через ф?зичн? чи часов? обмеження — передус?м, це дуже велик? числа. Наприклад, функц?? floor в?д першого числа Ск'юза, результатом якого ? дуже велике число, визначене через експоненту експоненти: exp(exp(exp(79))), або

e^{e^{e^{79}}}.

Дос? н?хто не обчислив результат функц?? floor (натуральне число) в?д цього д?йсного числа, ? ц?лком ?мов?рно, що таке обчислення неможливо зд?йснити ф?зично. Так само $2\uparrow \uparrow \uparrow 6$ (у нотац?? Кнута) може вважатися лише формальним виразом, що не в?дпов?да? н?якому натуральному числу. Тип ультраф?н?тизму, що займа?ться можливостями ф?зичних обчислень у математиц?, часто назива?ться^[ким?] актуал?змом.

Едвард Нельсон^[en] критикував класичну концепц?ю натуральних чисел через циркулярн?сть ?х означення. У класичн?й математиц? натуральн? числа означаються як 0 ? числа, одержан? ?теративним застосуванням функц?? ?наступне число? (англ. successor function), починаючи з нуля. Але у так?й ?терац?? вже присутн? поняття натурального числа. ?нтими словами, для того, щоб отримати число $2\uparrow \uparrow \uparrow 6$ , потр?бно застосувати функц?ю-наступник ?теративно саме $2\uparrow \uparrow \uparrow 6$ раз?в, починаючи з нуля.

Деяк? верс?? ультраф?н?тизму ? формами конструктив?зму, вт?м, б?льш?сть конструктив?ст?в^[хто?] розглядають цю ф?лософ?ю як занадто екстремальну. Лог?чн? засади ультраф?н?тизму неясн?: наприклад, лог?к-конструктив?ст Анне С'?рп Трьолстра у сво?й робот? Конструктив?зм у математиц? (1988) в?дкинула ультраф?н?тизм, зазначивши, що ?на даний момент в?дсутн?й б?льш-менш задов?льний його розвиток?.^[3] Вт?м, це не було ф?лософським запереченням напрямку як такого, радше констатац?я факту, що у серйозних роботах з математично? лог?ки нема? чого-небудь конкретного ? точного з даного питання.

Вчен?, причетн? до ультраф?н?тизму

Починаючи з 1959 року серйозн? досл?дження на тему ультраф?н?тизму велися Олександром ?сен?ним-Вольп?ном, який у 1961 роц? окреслив програму з доведення консистентност? теор?? множин Цермело — Френкеля в ультраф?н?тн?й математиц?. З ?нших математик?в, що працювали у дан?й галуз?, можна в?дзначити Дорон Цайльбергер, Едвард Нельсон, Рог?т Дж?ванлал Пар?х, ? Жан-Пол ван Бенде?ем. Ф?лософ?я також ?нколи асоц?ю?ться з поглядами Людв?га В?тгенштайна, Роб?на ?енд?, Петра Вопенки ? Йоганнеса ?лмслева^[en].

Shaughan Lavine розробив вар?ант ультраф?н?тизму на основ? теор?? множин, що не суперечить класичн?й математиц?.^[4] Лав?не показав, що основн? принципи арифметики, так? як ?не ?сну? найб?льшого натурального числа?, можуть бути збережен?: Лав?не дозволя? включення^[куди?] ?необмежено великих чисел?.^[4]

Обмеження, заснован? на теор?? складност? обчислень

?нш? ?де? щодо уникнення екстремально великих чисел базуються, наприклад, на основ? теор?? складност? обчислень. Таким шляхом йде, зокрема, Андраш Корнай у сво?х роботах з явного ф?н?тизму (який не заперечу? ?снування великих чисел)^[5], а також Володимир Сазонов з його поняттям ?допустимого числа?.^[6]

Сутт?вий формальний розвиток отримали так? вар?анти ультраф?н?тизму, заснован? на теор?? складност? обчислень, як теор?я Bounded arithmetic^[en] Семюеля Басса (англ. Samuel Buss), що охоплю? математику, пов'язану з р?зними класами складност? (такими, як P ? PSPACE). Роботи Басса можна вважати продовженням досл?джень Едварда Нельсона з предикативно? арифметики: теор?? bounded arithmetic, так? як S12, ?нтерпретуються у арифметиц? Роб?нсона, ? таким чином ? ?предикативними? у тому сенс?, як це розум?? Нельсон. Потужн?сть даних теор?й вивча?ться у bounded reverse mathematics^[en], зокрема так? досл?дження можна знайти у роботах Ст?вена Кука ? Пхуонга Нгу?на. Вт?м, ц? вчен? не ? ф?лософами математики, вони радше вивчають окрем? випадки умовивод?в, як у обернен?й математиц?^[en].

Див. також

Трансобчислювальна задача^[en]

Джерела

↑ ^а ^б Daniel Leivant, ред. (1995). International Workshop on Logic and Computational Complexity. Logic and Computational Complexity. Lecture notes in computer science 960 (англ.). Springer: 31.
↑ ^а ^б St. Iwan (2000). On the Untenability of Nelson's Predicativism. Erkenntnis (англ.). 53 ((1–2)): 147—154.
↑ A.S. Troelstra; D. van Dalen (1 липня 1988). Constructivism in Mathematics. Elsevier. ISBN 978-0-08-057088-4.
↑ ^а ^б Philosophy of Mathematics (Stanford Encyclopedia of Philosophy). Plato.stanford.edu. Процитовано 7 жовтня 2015.
↑ András Kornai. Explicit finitism — Background Material (англ.). Арх?в ориг?налу за 13.07.2012. {{cite web}}: Про?гноровано |chapter= (дов?дка)
↑ Vladimir Sazonov. On feasible numbers. Logic and computational complexity. Lecture Notes in Computer Science. ISBN 978-3-540-60178-4.

Посилання

ésénine-Volpine, A. S. (1961), Le programme ultra-intuitionniste des fondements des mathématiques, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Oxford: Pergamon, с. 201—223, MR 0147389 Reviewed by Kreisel, G.; Ehrenfeucht, A. (1967), Review of Le Programme Ultra-Intuitionniste des Fondements des Mathematiques by A. S. ésénine-Volpine, The Journal of Symbolic Logic, Association for Symbolic Logic, 32 (4): 517, doi:10.2307/2270182, JSTOR 2270182
Lavine, S. (1994). Understanding the Infinite (англ.). Cambridge, MA: Harvard University Press.
Andras Kornai (February 2003). Explicit finitism. International Journal of Theoretical Physics (англ.). 42: 301—307. eISSN 1572-9575. ISSN 0020-7748.
Doron Zeilberger. "Real" Analysis Is A Degenerate Case Of Discrete Analysis (PDF).
Discussion on formal foundations. MathOverflow.
A. S. Troelstra. History of constructivism in the 20th century (PDF).
Edward Nelson. Predicative Arithmetic (PDF).
Stephen A. Cook; Phuong The Nguyen. Logical Foundations of Proof Complexity (англ.).
Phuong The Nguyen. Bounded Reverse Mathematics (PDF) (англ.).
Charles Petzold. Reading Brian Rotman's ?Ad Infinitum…? (англ.).
Computational Complexity Theory. Стенфордський ун?верситет.

[LCC-1] а ^б Daniel Leivant, ред. (1995). International Workshop on Logic and Computational Complexity. Logic and Computational Complexity. Lecture notes in computer science 960 (англ.). Springer: 31.

[iwan-2] а ^б St. Iwan (2000). On the Untenability of Nelson's Predicativism. Erkenntnis (англ.). 53 ((1–2)): 147—154.

[troelstra-3] A.S. Troelstra; D. van Dalen (1 липня 1988). Constructivism in Mathematics. Elsevier. ISBN 978-0-08-057088-4.

[stanford1-4] а ^б Philosophy of Mathematics (Stanford Encyclopedia of Philosophy). Plato.stanford.edu. Процитовано 7 жовтня 2015.

[kornai-5] András Kornai. Explicit finitism — Background Material (англ.). Арх?в ориг?налу за 13.07.2012. {{cite web}}: Про?гноровано |chapter= (дов?дка)

[sazonov-6] Vladimir Sazonov. On feasible numbers. Logic and computational complexity. Lecture Notes in Computer Science. ISBN 978-3-540-60178-4.

[1]

[2]

[3]

[4]

[5]

[6]

苏州有什么特产可以带回家	抗巨细胞病毒抗体igg高是什么意思	lafuma是什么牌子	徐长卿是什么药	navy什么意思
acer是什么牌子	夏天出汗多是什么原因	马齿笕有什么功效	手淫会导致什么疾病	中国民间为什么要吃腊八粥
护手霜什么牌子的效果好	中医经方是什么意思	什么是血浆	fcm是什么意思	吃什么东西涨奶最快
什么是斜视	安之若素是什么意思	梦见自己掉头发是什么征兆	长方脸适合什么样的发型	潍坊有什么好玩的

什么菜是发物不能吃hcv9jop2ns6r.cn	坏是什么意思hcv8jop9ns9r.cn	什么叫辟谷减肥法hcv8jop4ns6r.cn	借鸡生蛋是什么意思hcv9jop0ns4r.cn	早孕反应什么时候开始hcv8jop5ns7r.cn
人几读什么hcv7jop6ns6r.cn	伤官见官什么意思hcv8jop8ns5r.cn	膝盖内侧疼吃什么药hcv8jop6ns3r.cn	近视散光是什么意思hcv8jop2ns3r.cn	膝盖痛挂什么科hcv8jop5ns3r.cn
六月八日是什么星座hcv8jop4ns5r.cn	什么牌子的助听器好hcv8jop7ns9r.cn	鼻子出汗是什么原因hcv8jop8ns8r.cn	碧字五行属什么tiangongnft.com	77年的蛇是什么命hcv8jop7ns7r.cn
前胸后背长痘痘是什么原因hcv8jop8ns5r.cn	恕是什么意思zsyouku.com	做什么事要从头来gangsutong.com	开塞露是什么成分hcv8jop0ns6r.cn	什么是牛黄hcv9jop3ns2r.cn