- аналитическое доказательство
- мат. analytical proof
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
НАУЧНОЕ ДОКАЗАТЕЛЬСТВО — совокупность логических и методологических приемов, используемых в науке для принятия определенного решения об истинности (или ложности) теории, закона, отдельного эмпирического высказывания. Анализ истории науки и ее современного состояния… … Философия науки: Словарь основных терминов
аналитика первая и аналитика вторая — «АНАЛИТИКА ПЕРВАЯ» И «АНАЛИТИКА ВТОРАЯ» самый важный по логической значимости труд Аристотеля из состава «Органона». Аналитику Аристотель определяет как «доказывающую науку», ее главный предмет «доказательство» ( штобек;) (Anal. pr.… … Энциклопедия эпистемологии и философии науки
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Пирогов, Николай Николаевич — (7 ноября 1843 16 ноября 1891) рус. физик. Сын Н. И. Пирогова (см.). Окончил Гейдельберг. ун т. Некоторое время занимался коммерческой деятельностью. Научную работу начал вести с сер. 1880 х гг. Осн. труды П. посвящены статистич. физике.… … Большая биографическая энциклопедия
Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… … Википедия
Больцано, Бернард — У этого термина существуют и другие значения, см. Больцано (значения). Бернард Больцано Bernard Placidus Johann Nepomuk Bolzano … Википедия
Больцано Б. — Бернард Больцано Бернард Больцано (чешск. Bernard Placidus Johann Nepomuk Bolzano; 5 октября 1781, Прага 18 декабря 1848) чешский теолог, философ и математик. Выдвинул идею арифметической теории действительного числа и доказал теорему Больцано… … Википедия
Бернард Больцано — (чешск. Bernard Placidus Johann Nepomuk Bolzano; 5 октября 1781, Прага 18 декабря 1848) чешский теолог, философ и математик. Выдвинул идею арифметической теории действительного числа и доказал теорему Больцано Вейерштрасса. В его сочинениях можно … Википедия
Больцано Бернард — Бернард Больцано Бернард Больцано (чешск. Bernard Placidus Johann Nepomuk Bolzano; 5 октября 1781, Прага 18 декабря 1848) чешский теолог, философ и математик. Выдвинул идею арифметической теории действительного числа и доказал теорему Больцано… … Википедия
Кант Иммануил — Жизненный путь и сочинения Канта Иммануил Кант родился в Кенигсберге (ныне Калининград) в Восточной Пруссии в 1724 г. Отец был шорником, а мать домохозяйкой, шестеро их детей не дожили до зрелого возраста. Кант всегда вспоминал родителей с… … Западная философия от истоков до наших дней