Size: a a a

2020 April 21

V(

Vλadimir (Hawthorne the Toolmaker) in Lisp Forever
нормальные люди спят еще. или уже
источник

V(

Vλadimir (Hawthorne the Toolmaker) in Lisp Forever
но можно меряться в приват лидрборд
источник

LL

Lämppi Lütti in Lisp Forever
Lämppi Lütti
Он тоже не очень
Я вообще прикола изучения на числодробилках не понимаю
источник

MK

Mikhail Kirillov in Lisp Forever
Mikhail Kirillov
Из лекций сикпа узнал про аксиомы пеано
Ну так вот, человек, живший в 19м веке формализовал арифметику, можно ли считать, что до этого математика и арифметика в частности строилась на основе того, что не было доказано?
источник

LL

Lämppi Lütti in Lisp Forever
Хоть на том что знаю решать не интересно, что на том что не знаю
источник

MK

Mikhail Kirillov in Lisp Forever
Mikhail Kirillov
Ну так вот, человек, живший в 19м веке формализовал арифметику, можно ли считать, что до этого математика и арифметика в частности строилась на основе того, что не было доказано?
источник

AP

Alex Peresmeshnik in Lisp Forever
Mikhail Kirillov
Я если честно хз как математика устроена, но там тоже не всё так просто
https://www.youtube.com/watch?v=qhbuKbxJsk8

Ну вот напрмер, для затравочки +)
источник

AP

Alex Peresmeshnik in Lisp Forever
Mikhail Kirillov
Ну так вот, человек, живший в 19м веке формализовал арифметику, можно ли считать, что до этого математика и арифметика в частности строилась на основе того, что не было доказано?
Так тут в другом фишка. Аксиома - это не просто тык пальцем в небо и "хочу так, значит будет так". Аксиома - это обстоятельство принятое за данность, по той причине, что его невозможно ни доказать ни подтвердить. Пытаясь доказать аксиому уходишь в бесконечность - это отсылка к такому методу доказательства как "бесконечный спуск"
источник

MK

Mikhail Kirillov in Lisp Forever
Спс за линк
источник
2020 April 22

AK

Andrew Kravchuk in Lisp Forever
Чот вспомнилось: "What does the 'B' in Benoit B Mandelbrot stand for? Benoit B Mandelbrot"
источник

AP

Alex Peresmeshnik in Lisp Forever
Andrew Kravchuk
Чот вспомнилось: "What does the 'B' in Benoit B Mandelbrot stand for? Benoit B Mandelbrot"
Бгг, да это стебно получилось. У того кто открыл знаменитый фрактал - фрактальное ФИО +)
источник

AK

Andrew Kravchuk in Lisp Forever
Ну да, в этом и соль шуточки)
источник
2020 April 25

O

O in Lisp Forever
> а во рту
умерших слов разлагаются трупики,
только два живут, жирея —
«сволочь»
и еще какое-то,
кажется, «борщ».
источник

m

mel kaye in Lisp Forever
а сволочь кто?
источник

O

O in Lisp Forever
Guix😊
источник

LL

Lämppi Lütti in Lisp Forever
А не guile?
источник

B

Brenoritvrezorkre in Lisp Forever
Никто случайно также не знает прологерских чатов? Может, название какое-нибудь нестандартное.
источник

AE

Alexey Egorov in Lisp Forever
Brenoritvrezorkre
Никто случайно также не знает прологерских чатов? Может, название какое-нибудь нестандартное.
Не слышал.
источник

B

Brenoritvrezorkre in Lisp Forever
А можете сравнить лиспы? Какие в какую специфику пошли?
источник

AP

Alex Peresmeshnik in Lisp Forever
Brenoritvrezorkre
Никто случайно также не знает прологерских чатов? Может, название какое-нибудь нестандартное.
Это сообщества любящих логгировать все что шевелиться?
источник