Связанные понятия
Математическая шутка — фраза или небольшой текст юмористического содержания, который опирается на аспекты математики или стереотипы о математике. Юмор может определяться игрой слов или двойным смыслом математического термина. Эти шутки часто непонятны для тех, кто не обладает математическим складом ума. Относится к научному юмору.
Научный юмор — вид профессионального юмора, который основан на необычных или парадоксальных аспектах научных теорий и научной деятельности. Как всякий профессиональный юмор, научный юмор нередко непонятен людям, не обладающим достаточными знаниями в соответствующей области.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Де́мон Ма́ксвелла — мысленный эксперимент 1867 года, а также его главный персонаж — воображаемое разумное существо микроскопического размера, придуманное британским физиком Джеймсом Клерком Максвеллом с целью проиллюстрировать кажущийся парадокс Второго начала термодинамики.
Гипо́теза Коллатца (гипо́теза 3n+1, сираку́зская пробле́ма) — одна из нерешённых проблем математики.
Телеологи́ческий аргуме́нт (греч. teleo — оканчивать, доводить до совершенства, до конца; logos — слово, суждение, разум, смысл) — аргумент в пользу существования Бога или какого-либо другого разумного творящего существа, основывающийся на явлении существования сложности или осмысленности в природе, к примеру, на существовании таких сложных существ как человек.
Мозг в колбе — в философии — это разновидность мысленных экспериментов, иллюстрирующих зависимость человека в понимании действительности от его субъективных ощущений. Происходит от гипотезы Злого демона Рене Декарта и часто используется для иллюстрации скептицизма.
Говорят, что возникло
математическое совпадение , если два выражения дают почти одинаковые значения, хотя теоретически это совпадение никак объяснить нельзя.
Табли́ца умноже́ния , она же табли́ца Пифаго́ра — таблица, где строки и столбцы озаглавлены множителями, а в ячейках таблицы находится их произведение. Используется для обучения школьников умножению.
Апори́и Зено́на (от др.-греч. ἀπορία «трудность») — внешне парадоксальные рассуждения на тему о движении и множестве, автором которых является древнегреческий философ Зенон Элейский (V век до н. э.). Современники упоминали более 40 апорий Зенона, до нас дошли 9, обсуждаемые в «Физике» и в других трудах Аристотеля, а также в комментариях Симпликия, Филопона и Фемистия к Аристотелю; одна апория из этих 9 приводится также у Диогена Лаэртского, апории о множестве обсуждаются в диалоге Платона «Парменид...
Гуго́л (от англ. googol) — число, в десятичной системе счисления изображаемое единицей со 100 нулями...
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
При́нцип самосогласо́ванности Но́викова — принцип, призванный разрешить парадоксы, связанные с путешествиями во времени, теоретически допускаемыми некоторыми решениями уравнений Эйнштейна, разрешающими существование замкнутых времениподобных линий. В упрощённой формулировке принцип самосогласованности постулирует, что при перемещении в прошлое вероятность действия, изменяющего уже случившееся с путешественником событие, стремится к нулю. Сформулирован в середине 1980-х годов астрофизиком и космологом...
Экспериментальная математика — область математики, отличающаяся использованием различных приёмов, в т. ч. приёмов подстановки, перемещения, доказательств от обратного, в т.ч. с использованием электронно-вычислительных инструментов для проверки, подтверждения старых и получения новых фактов (теорем) в математике. Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т.д. являются...
«Апология математика » (англ. A Mathematician’s Apology; 1940) — эссе британского математика Годфри Харди (1877—1947) на тему красоты математики. Знакомит читателей, не имеющих специального математического образования, со спецификой мышления «математика за работой».
Танграм (кит.七巧板, пиньинь qī qiǎo bǎn, букв. «семь дощечек мастерства») — головоломка, состоящая из семи плоских фигур, которые складывают определённым образом для получения другой, более сложной, фигуры (изображающей человека, животное, предмет домашнего обихода, букву или цифру и т. д.). Фигура, которую необходимо получить, при этом обычно задаётся в виде силуэта или внешнего контура. При решении головоломки требуется соблюдать два условия: первое — необходимо использовать все семь фигур танграма...
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Теоре́ма о запре́те клони́рования — утверждение квантовой теории о невозможности создания идеальной копии произвольного неизвестного квантового состояния. Теорема была сформулирована Вуттерсом, Зуреком и Диэксом в 1982 году и имела огромное значение в области квантовых вычислений, квантовой теории информации и смежных областях.
Эффект бабочки — термин в естественных науках, обозначающий свойство некоторых хаотичных систем: незначительное влияние на систему может иметь большие и непредсказуемые последствия, в том числе и совершенно в другом месте.
Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
Логическая вероятность — логическое отношение между двумя предложениями, степень подтверждения гипотезы H свидетельством E.
«Ча́йник Ра́ссела » (англ. Russell's Teapot) — аналогия, впервые приведённая английским математиком и философом Бертраном Расселом (1872—1970) для опровержения идеи, что бремя доказательства (например, ложности религиозных утверждений) лежит на сомневающемся.
Ме́тод проб и оши́бок (в просторечии также: метод (научного) тыка) — является врождённым эмпирическим методом мышления человека. Также этот метод называют методом перебора вариантов.
Судо́ку (яп. 数独 су:доку, произношение ) — головоломка с числами. Иногда судоку называют магическим квадратом, что в общем-то неверно, так как судоку является латинским квадратом 9-го порядка. Судоку активно публикуют газеты и журналы разных стран мира, сборники судоку издаются большими тиражами. Решение судоку — популярный вид досуга.
Парадо́кс Нью́кома был придуман физиком Уильямом Ньюкомом (внук Саймона Ньюкома) в 1960 году. Парадокс предполагает мысленный эксперимент, игру с двумя участниками — предсказателем и собственно игроком.
Проблема остановки (или проблема останова) — это одна из центральных проблем в теории алгоритмов, которая может неформально быть поставлена в виде...
Случа́йность — проявление внешних неустойчивых связей в действительности, проявление результата пересечения (совпадения) независимых процессов или событий; проявление неотъемлемого дополнения к законам необходимости.
Развлекательная математика, занимательная математика, математические развлечения — направления и темы в математике, проявляющиеся в бо́льшей степени в рамках досуга, развлечения, самообразования и популяризации математики, нежели в профессиональной математической деятельности. «Основная аудитория» развлекательной математики — обучающиеся математике, любители, хотя разработками и исследованиями в занимательной математике занимаются как любители, так и специалисты. Одна из характерных черт развлекательной...
Линкос (от Lingua Cosmica) — искусственный язык, созданный Хансом Фройденталем, профессором математики, для общения с внеземным разумом.
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Парадо́кс близнецо́в — мысленный эксперимент, при помощи которого пытаются «доказать» противоречивость...
Парадо́кс во́ронов (англ. Raven paradox), известный также как парадокс Гемпеля (нем. Hempels paradox) или во́роны Гемпеля — парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.
Термин
рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций...
Гипотеза симуляции (англ. Simulation hypothesis) — философское положение о том, что реальность является симуляцией (чаще всего предполагается, что это компьютерная симуляция). Чтобы симуляция выглядела реалистично для реципиента, программа подстраивается под его восприятие, формируя материальные объекты, разум и сознание реципиента. Главной работой в этой области считается статья Ника Бострома «Доказательство симуляции», опубликованная в 2003 году (первая редакция — в 2001 году) в журнале «Philosophical...
Открытый индивидуализм (англ. open individualism; сокр. от открытый индивидуальный взгляд на тождество личности) — точка зрения в философии, согласно которой существует только один самотождественный субъект, который является всеми и которому принадлежат все тела людей и все независимые потоки сознания. Открытый индивидуализм требует отличного от обычного понимания этернализма. Феноменологическая интерпретация открытого индивидуализма состоит в том, что я (как единственный субъект) постоянно «обнаруживаю...
Парадокс мальчика и девочки также известен в теории вероятностей как «Парадокс девочки и мальчика», «Дети мистера Смита» и «Проблемы миссис Смит». Впервые задача была сформулирована в 1959 году, когда Мартин Гарднер опубликовал один из самых ранних вариантов этого парадокса в журнале Scientific American под названием «The Two Children Problem», где привёл следующую формулировку...
Красота математики — восприятие математики как объекта эстетического наслаждения, схожего с музыкой и поэзией.
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики...
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
Демпстера-Шафера теория — математическая теория очевидностей (свидетельств) (), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части информации (свидетельства) для вычисления вероятности события. Теория была развита Артуром П. Демпстером и Гленном Шафером.
Модальный реализм (англ. Modal realism) — гипотеза, предложенная Дэвидом Льюисом, что все возможные миры такие же реальные, как реальный мир.
Знак равенства (=) в математике, в логике и других точных науках — символ, который пишется между двумя идентичными по своему значению выражениями.
Индуктивное логическое программирование (Inductive Logic Programming, ILP) — раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез. Получив описания уже известных фоновых знаний и набор примеров, представленных как логическая база фактов, система ILP может породить логическую программу в форме гипотез, объясняющую все положительные примеры и ни одного отрицательного.
Контринтуитивное высказывание — такое высказывание, которое не кажется истинным при его оценке на основе интуиции, здравого смысла или эмоций.
Подробнее: Контринтуитивность
Соотношение карты и территории — вопрос о соотношении между символом и объектом. Известное выражение Альфреда Коржибски — «Карта не есть территория» — означает, что абстракция, выведенная из чего-нибудь, или реакция на неё не является самой вещью; иными словами, перст, указующий на предмет, не есть сам предмет; метафорическая репрезентация какого-то концепта не является самим концептом; научная теория, описывающая «объективную реальность», не является самой «объективной реальностью» и т. д. То, что...
Системати́ческая оши́бка вы́жившего (англ. survivorship bias) — разновидность систематической ошибки отбора, когда по одной группе («выжившим») есть много данных, а по другой («погибшим») — практически нет, в результате чего исследователи пытаются искать общие черты среди «выживших» и упускают из вида, что не менее важная информация скрывается среди «погибших».
Праймориал (англ. Primorial, иногда именуется также «примориал») — в теории чисел функция над рядом натуральных чисел, схожая с функцией факториала, с разницей в том, что праймориал является последовательным произведением простых чисел, меньших или равных данному, в то время как факториал является последовательным произведением всех натуральных чисел, меньших или равных данному.
Многомерное время — гипотезы существования времени с размерностью T > 1. Эти гипотезы имеют определённое распространение в физике, философии и фантастике.