x, y, z

Последние публикации

ПубликацияРазделКомм.
Попробуйте выведать у физика, что такое время. Это вам очевидно, что время это последовательность событий и оно течет вперед. Чем больше вы знаете и чем глубже погружаетесь, тем менее это становится очевидным. Описание того, что такое время, все больше схлопывается к тому, что время — это буквочка t, которая участвует в таких-то математических уравнениях. По мере движения к все более фундаментальному уровню математика становится все более сложной, а словесно-описательный багаж начинает все больше вырождаться. В пределе, предполагает Макс, у Общей Теории Всего нет багажа. Физика пытается найти уравнения для нашего мира, исходя из наблюдений и экспериментальных данных. Макс предлагает рассмотреть “Физику Наоборот” — вы задаете уравнения, какой мир вы получаете?
Философия 0 Ø
Дэвид Чалмерс
Возьмем наш любимый iPhone. У меня он уже три или четыре года, и он берет на себя целую кучу функций моего мозга. То, что раньше делал мой мозг, теперь делает мой iPhone. Возьмем память: сколько людей используют свой мозг, чтобы запоминать номера телефонов? Уж точно не я! Я хочу поговорить с вами о новом взгляде на сознание. То, что я называю расширенным сознанием, — это идея о том, что технологии, которые мы используем, становится частью нашего сознания, распространяя его, и значит нас самих.
Философия ≫ Видео 0 Ø
Анил Сет
Миллиарды нейронов у нас в мозге постоянно трудятся над созданием сознательного опыта, восприятия мира вокруг и внутри вас. Как это происходит? Нейроученый Анил Сет считает, что все мы постоянно галлюцинируем, а когда наши галлюцинации совпадают, мы называем это реальностью. Возможно, его выступление заставит вас задуматься о самой природе существования.
Философия ≫ Видео 0 Ø
Диана Гаспарян
Экзистенциализм. Хайдеггер: особенность человеческого существования Dasein. Экзистенциализм Сартра. Философия жизни. Структурализм. Постструктурализм. Фердинанд де Соссюр: язык есть пучок различий. Жак Деррида и Жан Лиотар.
Философия ≫ Видео 0 Ø
Диана Гаспарян
Определение метафизики. Метафизика vs Позитивизм. Верификация и фальсификация. Логический позитивизм и Людвиг Витгенштейн. Критика субъектоцентризма. Структурализм. Детрансцендирование и имманентизм в философии. Критика субъект-объектного дуализма. Феноменология Гуссерля и интенциональность. Мартин Хайдеггер: не субъект, но Dasein. Мишель Фуко: смерть субъекта.
Философия ≫ Видео 0 Ø
RSA (аббревиатура от фамилий Rivest, Shamir и Adleman) — криптографический алгоритм с открытым ключом, основывающийся на вычислительной сложности задачи факторизации больших целых чисел. Алгоритм используется в большом числе криптографических приложений, включая PGP, S/MIME, TLS/SSL, IPSEC/IKE и других.
Информатика, компьютерные науки ≫ Видео 0 Ø
Лев Беклемишев
Вычислимая функция f:N→N называется доказуемо рекурсивной в данной формальной теории T, если существует алгоритм её вычисления такой, что в T можно доказать утверждение «для любого x существует y такой, что f(x)=y». В математической логике такие функции изучаются по двум причинам. Во-первых, для данной программы нас часто интересует доказательство её корректности, в частности вопрос о том, завершает ли она работу при любых исходных данных. С другой стороны, варьируя функцию f мы можем ставить для теории T сколь угодно сложные (вплоть до невыполнимости) задачи на доказательство. Тем самым, доказуемо рекурсивные функции могут быть использованы для изучения различных формальных теорий. Такой подход приводит к наиболее впечатляющим на сегодняшний день примерам недоказуемых комбинаторных утверждений. Мы начнем с понятия машины Тьюринга и вычислимой функции. Разберемся, как формальная арифметика может говорить о вычислениях. Поймем, что для любых разумных систем аксиом T их запас доказуемо рекурсивных функций никак не может исчерпывать все вычислимые всюду определенные функции. Отсюда выведем первую теорему Гёделя о неполноте.
Математика ≫ Видео 0 Ø
Далее >>>

Последние комментарии

ПубликацияРазделКомм.
В прошлом двадцатом веке случилось событие, равного по масштабу которого в математике не было за всю ее историю. 19-го сентября 1994 года была доказана теорема, сформулированная Пьером де Ферма (1601-1665) более 350-ти лет назад в 1637 году. Она известна также как «последняя теорема Ферма» или как «большая теорема Ферма», поскольку есть еще так называемая "малая теорема Ферма". Ее доказал 41-летний, до этого момента в математическом сообществе ничем особо непримечательный, и по математическим меркам уже немолодой, профессор Принстонского университета Эндрю Уайлс. Удивительно, что про это событие толком не знают не только наши обычные российские обыватели, но и многие интересующиеся наукой люди, включая даже немалое число ученых в России, так или иначе использующих математику.
Математика 2 Evgeniy
28 Фев 2019 19:04:57 >>>
Самый редкий элемент в земной коре, самым тяжелый газ, самый тугоплавкий материал, самый сильный стабильный окислитель, самая сильная кислота, самый сильный яд, самое сладкое вещество — и другие рекорды.
Химия 3 Толик
23 Фев 2019 22:08:32 >>>
Чайковский Ю. В.
Ещё на заре европейской науки Демокрит полагал, что причину имеет всё, и что случайность люди ввели, "чтобы оправдать свою глупость". Однако он же положил в основание своей натурфилософии беспорядочное движение атомов, из-за которого явления приходится фактически рассматривать как случайные. В этом противоречии наука и пребывает 2400 лет: хотя без случайности ни один род деятельности (в том числе и ни одна теория явлений — природы или общества) обойтись не может, но до сих пор можно услышать и прочесть, что случайности как таковой в строгом представлении первой научной картины мира не существует. Тем не менее, в наше время можно привести аккуратные примеры случайности, не сводящиеся к незнанию или непониманию причин, что ниже и будет сделано.
Математика 1 Ян Корчмарюк
23 Фев 2019 12:17:13 >>>
В конце августа 2012 года японский математик Синичи Мочидзуки выложил на свою страницу в интернете четыре научные статьи. Их не сразу заметили, потому что не особенно ждали: без предварительных пресс-релизов, навязчивых анонсов и громких выступлений Мочидзуки опубликовал результат многолетнего самоотверженного труда, которому, вероятно, суждено совершить революцию в современной математике. Проблема лишь в том, что теорию Мочидзуки не торопится принимать научное сообщество – ее почти никто не может понять.
Математика 3 Evgeniy
17 Фев 2019 20:54:44 >>>
Александр Виленкин
Как выглядит Вселенная на очень больших расстояниях, в областях, недоступных наблюдению? И есть ли предел тому, как далеко мы можем заглянуть? Наш космический горизонт определяется расстоянием до самых далеких объектов, свет которых успел прийти к нам за 14 миллиардов лет с момента Большого взрыва. Из-за ускоренного расширения Вселенной эти объекты сейчас удалены уже на 40 миллиардов световых лет. От более далеких объектов свет к нам еще не дошел. Так что же находится там, за горизонтом?
Космология, астрономия 1 mikloch
19 Ноя 2018 16:35:12 >>>
15 марта стало известно, что премию Абеля в 2016 году получит Эндрю Уайлз за доказательство гипотезы Таниямы-Симуры для полустабильных эллиптических кривых и следующее из этой гипотезы доказательство великой теоремы Ферма. В настоящее время премия составляет 6 миллионов норвежских крон, то есть примерно 50 миллионов рублей. По словам Уайлса, присуждение премии стало для него «полной неожиданностью». Вручение премии — прекрасный повод вспомнить несколько историй, связанных с теоремой Ферма.
Математика 3 Ск
17 Ноя 2018 23:27:43 >>>
«Эврика!» («Нашел!») — именно этот возглас, согласно легенде, издал древнегреческий ученый и философ Архимед, открыв принцип вытеснения. Легенда гласит, что сиракузский царь Герон II попросил мыслителя определить, из чистого ли золота сделана его корона, не причиняя вреда самому царскому венцу. Взвесить корону Архимеду труда не составило, но этого было мало — нужно было определить объем короны, чтобы рассчитать плотность металла, из которого она отлита, и определить, чистое ли это золото.
Физика 1 Толик
3 Ноя 2018 23:24:15 >>>
Далее >>>

Последние сообщения на форуме

ТемаФорумСообщ.
Работа сайта 1 Evgeniy
1 Фев 2019 18:36:38 >>>
Математика ≫ Разбираемся и решаем ≫ Олимпиадные и нестандартные задачи 1 Math
18 Янв 2019 20:16:54 >>>
Математика ≫ Разбираемся и решаем ≫ Олимпиадные и нестандартные задачи 1 Math
17 Янв 2019 20:49:39 >>>
Математика ≫ Разбираемся и решаем ≫ Олимпиадные и нестандартные задачи 1 Math
21 Дек 2018 16:50:52 >>>
Математика ≫ Разбираемся и решаем ≫ Олимпиадные и нестандартные задачи 1 Evgeniy
24 Ноя 2018 16:59:37 >>>
Математика ≫ Разбираемся и решаем ≫ Олимпиадные и нестандартные задачи 1 Evgeniy
24 Ноя 2018 16:57:21 >>>
Luxorion
Математика ≫ Разбираемся и решаем ≫ Учебные задачи 3 Luxorion
17 Ноя 2018 20:00:31 >>>
Далее >>>