Does symmetry and transitivity imply reflexivity? — The Ross Programs

When is a prime the sum of two squares? — The Ross Program

Антисимметричные отношения | Дискретная математика

Как выглядит график функции x^a, если a не является целым числом? Необычный взгляд на знакомые фу...

Can a square be divided into an odd number of equal-area triangles? — Monsky's Theorem

Some computer-assisted proofs with Agda - Radical Pi

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Математики открывают странную новую бесконечность

НЕВЕРОЯТНАЯ ЗАДАЧКА ОТ СЕРГЕЯ ТРАВКИНА ПРО БЕЛЫЕ И ЧЁРНЫЕ ШАРЫ!!!!! ВЗРЫВ МОЗГА!!!!

Теория приближений — Алексей Савватеев / ПостНаука

Якир Ааронов: «Гейзенберг был прав, и мы его проигнорировали»

ДНК создал Бог? Самые свежие научные данные о строении. Как работает информация для жизни организмов

Величайший прорыв в физике, который никто не заметил

Эффект наблюдателя – полное объяснение без мистики.

Lecture 1: Sets, Set Operations and Mathematical Induction

Джазовый пианист реагирует на классических пианистов, пытающихся играть джаз (Юйцзя, Горовиц, Сум...

Git Will Finally Make Sense After This

7 ПАРАДОКСОВ БЕСКОНЕЧНОСТИ

What are hcomp and hfill? – Cubical Agda

Деление векторов | Геометрическая алгебра, эпизод 1

BARCA ODWRACA WYNIK! DUBLET W TRZY MINUTY! BARCELONA - EINTRACHT, SKRÓT MECZU