Любовь Новикова, репетитор по химии, рассказывает об истоках возникновения атомистической теории. Почему люди решили, что атом существует, и как они пытались это доказать? Благодарим за предоставленное помещение БЦО "Современник". Привет, меня зовут Любовь Новикова, это SciTeam, и сегодня я хочу поговорить с вами об истоках возникновения атомистической теории или другими словами: почему люди решили, что атом существует и как они пытались это доказать? Сейчас мы уже наверняка знаем, что атом существует,...

Идея типов в "теории типов" Рассела достаточно проста и заключается в том, чтобы терминологически отделить друг от друга объекты кажущиеся одинаковыми, в смысле существования, но являющиеся, на самом деле, совершенно различными в этом смысле. Проясним суть этого на следующем примере. Рассмотрим множество всех объектов в мире и представим его в виде перечисления: s1, s2, s3, ...sN, где N - общее количество объектов (оно может быть и бесконечно). Очевидно, что если это множество всех объектов в мире, то в мире не может быть более чем N объектов...