Гипо́теза — предположение или догадка, утверждение, которое, в отличие от аксиом, постулатов, требует доказательства. Гипотеза считается научной, если она, в соответствии с научным методом, объясняет факты, охватываемые этой гипотезой; является логически непротиворечивой; принципиально опровергаема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее установленным законам и, скорее всего, приложима к более широкому кругу явлений.
Конти́нуум-гипо́теза — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет. В частности, это предположение означает, что для любого бесконечного множества действительных чисел всегда можно установить взаимно-однозначное соответствие либо между элементами этого множества и множеством целых чисел, либо между элементами этого множества и множеством всех действительных чисел.
Но́рма пра́ва — общеобязательное, формально определённое правило поведения, гарантируемое государством, отражающее уровень свободы граждан и организаций, выступающее регулятором общественных отношений.
Нау́чный ме́тод — система процедур, совокупность приёмов и операций практического или теоретического освоения действительности, а также регулятивных принципов, способов обоснования, образцов и т. д., которыми руководствуется в своей деятельности научное сообщество или конкретный специалист.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Верифика́ция в различных сферах деятельности человека может подразумевать:
- подтверждение того, что заданные требования выполнены, через предоставление объективных свидетельств;
- оценка соответствия продукта, услуги или системы нормам, требованиям, спецификациям или установленным условиям;
- проверка, подтверждение, метод доказательств каких-либо теоретических положений, алгоритмов, программ и процедур путём их сопоставления с опытными данными, алгоритмами и программами;
- методика распознавания на соответствие правде;
- в науке, проверка теоретических положений на соответствие реальности при помощи эксперимента.
Презу́мпция невино́вности — один из основополагающих принципов судопроизводства, заключающийся в том, что лицо считается невиновным, пока его вина в совершённом преступлении не будет доказана в порядке, предусмотренном законом, и установлена вступившим в законную силу приговором суда. Важнейшая составная часть презумпции невиновности — положение о том, что бремя доказывания обвинения лежит на обвинителе.
Проверка статистических гипотез является содержанием одного из обширных классов задач математической статистики.
Кла́да — группа организмов, содержащая общего предка и всех его прямых потомков. Термин используется в филогенетике.
Гипотеза ad hoc — гипотеза, предназначенная для объяснения отдельных, специальных явлений, которые невозможно объяснить в рамках данной теории. Для объяснения такого явления гипотеза ad-hoc предполагает существование неких дополнительных неоткрытых факторов (причин), воздействием которых можно объяснить исследуемое явление. Таким образом, гипотеза ad hoc делает предсказание в отношении тех явлений, которые необходимо открыть.
Принцип заурядности — принцип в философии науки, заключающийся в том, что предмет взятый случайно из общей совокупности, поделённой на категории, имеет большую вероятность быть принадлежащим к более многочисленной категории, чем к малочисленным. Следствием этого является то, что до тех пор, пока нет оснований предполагать, что Земля или люди на ней являются чем-то выделенным во Вселенной, то следует предположить, что существует или возможно существование большого количества планет и цивилизаций, подобных нашей. Этот принцип является обобщением принципа Коперника, утверждающего то же самое только для Земли как планеты. Основной идеей его является предположение в качестве основной гипотезы заурядности того или иного наблюдаемого нами явления, а не его исключительности.
Поведенческая экономика — направление экономических исследований, которое изучает влияние социальных, когнитивных и эмоциональных факторов на поведение в сфере экономики, принятие экономических решений отдельными лицами и учреждениями, и последствия этого влияния на рыночные переменные. Основным объектом изучения поведенческой экономики являются границы рациональности экономических агентов. Поведенческие модели, исследуемые в поведенческой экономике, чаще всего совмещают достижения психологии с неоклассической экономической теорией, охватывая целый ряд концепций, методов и областей исследования. Специалисты по поведенческой экономике интересуются не только происходящими на рынке явлениями, но и процессами коллективного выбора, которые также содержат элементы когнитивных ошибок и эгоизма при принятии решений экономическими агентами.
Гипотеза Пойи — гипотеза в теории чисел, выдвинутая Дьёрдем Пойей в 1919 году и опровергнутая Хейзелгроувом в 1958 году. Значение наименьшего контрпримера к ней — 906 150 257 — часто используется как иллюстрация к тому, что даже гипотезы, проверенные на огромных числовых промежутках, могут быть опровергнуты и требуют строгих доказательств.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Теория сложности вычислений — подраздел теоретической информатики, занимающейся исследованием сложности алгоритмов для решения задач на основе формально определённых моделей вычислительных устройств. Сложность алгоритмов измеряется необходимыми ресурсами, в основном это продолжительность вычислений или необходимый объём памяти. В отдельных случаях исследуются другие степени сложности, такие как размер микросхем, или количество процессоров, необходимая для работы параллельных алгоритмов.
Гипотеза — элемент правовой нормы, который указывает на условия, при которых данная правовая норма подлежит применению. Таким образом, является элементом, связывающим норму права и регулируемое им общественное отношение . Другие элементы правовой нормы — диспозиция и санкция.
Санкция нормы права, санкция правовой нормы, правовая санкция — элемент нормы права, который указывает на правовые последствия несоблюдения требований правовой нормы. Эти последствия, как правило, неблагоприятные для правонарушителя, являются мерами юридической ответственности, как государственного принуждения и способа обеспечения правового воздействия.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом.
