V(
нормальные люди спят еще. или уже
Size: a a a
2020 April 21
V(
но можно меряться в приват лидрборд
LL
Он тоже не очень
Я вообще прикола изучения на числодробилках не понимаю
MK
Из лекций сикпа узнал про аксиомы пеано
Ну так вот, человек, живший в 19м веке формализовал арифметику, можно ли считать, что до этого математика и арифметика в частности строилась на основе того, что не было доказано?
LL
Хоть на том что знаю решать не интересно, что на том что не знаю
MK
Ну так вот, человек, живший в 19м веке формализовал арифметику, можно ли считать, что до этого математика и арифметика в частности строилась на основе того, что не было доказано?
AP
Я если честно хз как математика устроена, но там тоже не всё так просто
AP
Ну так вот, человек, живший в 19м веке формализовал арифметику, можно ли считать, что до этого математика и арифметика в частности строилась на основе того, что не было доказано?
Так тут в другом фишка. Аксиома - это не просто тык пальцем в небо и "хочу так, значит будет так". Аксиома - это обстоятельство принятое за данность, по той причине, что его невозможно ни доказать ни подтвердить. Пытаясь доказать аксиому уходишь в бесконечность - это отсылка к такому методу доказательства как "бесконечный спуск"
MK
Спс за линк
2020 April 22
AK
Чот вспомнилось: "What does the 'B' in Benoit B Mandelbrot stand for? Benoit B Mandelbrot"
AP
Чот вспомнилось: "What does the 'B' in Benoit B Mandelbrot stand for? Benoit B Mandelbrot"
Бгг, да это стебно получилось. У того кто открыл знаменитый фрактал - фрактальное ФИО +)
AK
Ну да, в этом и соль шуточки)
2020 April 25
O
> а во рту
умерших слов разлагаются трупики,
только два живут, жирея —
«сволочь»
и еще какое-то,
кажется, «борщ».
умерших слов разлагаются трупики,
только два живут, жирея —
«сволочь»
и еще какое-то,
кажется, «борщ».
m
а сволочь кто?
O
Guix😊
LL
А не guile?
B
Никто случайно также не знает прологерских чатов? Может, название какое-нибудь нестандартное.
AE
Brenoritvrezorkre
Никто случайно также не знает прологерских чатов? Может, название какое-нибудь нестандартное.
Не слышал.
B
А можете сравнить лиспы? Какие в какую специфику пошли?
AP
Brenoritvrezorkre
Никто случайно также не знает прологерских чатов? Может, название какое-нибудь нестандартное.
Это сообщества любящих логгировать все что шевелиться?