B
так аксиома это ж мамайклянус
Size: a a a
2021 May 26
TK
Из воздуха? Так это ж магия
ΑZ
аксиома
ΑZ
да, из вохдуха
ΑZ
поэтому оно называется аксиома
ΑZ
а не теорема
B
идем спать
AN
вжух.
ΑZ
например есть аксиома " 0 - натуральное число". Откуда оно взялось? Из воздуха
TK
Не нравится просто, что часть лямбд конструируется, а часть берётся из воздуха, лучше бы вторые были функциями
ΑZ
дальше "если N - натуральное число то следующее за ним S N - натуральное". По сути это аксиома вводит лямбду (x => x + 1). Откуда? А просто так
AN
лан. если серьезно. то я ничего не понял. какие лямбды из воздуха. что ты называешь лямбдами вообще
ΑZ
функция и лямбда это синонимы опять же
ΑZ
(да я там пизданул чето про стрелки. забудь)
ΑZ
это аксиомы которые в школе проходят
ΑZ
на которой вся арифметика стоит
ΑZ
и они вводят одну константу и одну функцию
TK
И их на занятиях по математике всегда называли функциями, а о том, что они и лямбды это одно и то же, узнал впервые
B
короче — завтипы это контракты, а лямбды и аксиомы эти все это для математиков
ΑZ
эх, надо было с этого начинать)