Результаты поиска

...урсий]]. Он успешно применил методы [[математическая логика|математической логики]] для решения целого ряда задач в [[философия|философии]], в том числе в [[ ...ностью формализовать, а большинство лингвистов — что методы математической логики вообще применимы к семантике естественного языка. ...

...естный учёный [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 4<ref>[https://mathscinet.ams.org/mathscinet/freetool С 1972 по 2017 г. работал на кафедре алгебры и математической логики Новосибирского государственного университета (с 1972 г. — ассистентом, с 19 ...

...{{математик|СССР|России|Венгрии|XX века}}, {{логик|СССР|России|Венгрии|XX века}}-конструктивист, внёсший весомый вклад в интеграцию советской школы [[Конс ...ческий факультет МГУ]], с 1966 года — преподавал на кафедре математической логики. В 1968 году защитил в МГУ кандидатскую диссертацию «Конструктивные трансфи ...

...5%D0%B4%D1%80%D1%8B.pdf |title=Кафедра геометрии, алгебры и математической логики |access-date=2021-06-24 |archive-date=2021-05-02 |archive-url=https://web.a [[Категория:Математики XX века]] ...

...одна из важнейших и иногда сложнейших задач [[Формальная логика|формальной логики]]. * В 30-е гг. XX века [[Курт Гёдель]] показал, что есть целый класс теорий первого порядка, являю ...

В [[1930-е|30-х]] годах XX века формализуется понятие [[алгоритм]], а также появляются первые примеры алгор * {{книга |заглавие=Двигатели логики: математика и происхождение компьютера |издательство=Norton |место=Нью-Йорк ...

...[Ленинград]]) — советский и российский {{математик|СССР|России|XX века|XXI века}}, исследователь [[Санкт-Петербургское отделение Математического института ...им научным сотрудником, а в 1980 году возглавил лабораторию математической логики. В 1995 году Матиясевич стал профессором [[Санкт-Петербургский государствен ...

...тра]]х [[История математики в Индии|древней Индии]] (начиная примерно с IV века до н. э.)<ref name="India">''Amulya Kumar Bag''. [http://repository.ias.ac. ...sfn |Виленкин Н. Я.|1975|с=9|name=V9}}. [[Аристотель]] при изложении своей логики безошибочно перечислил все возможные типы трёхчленных [[Дедуктивное умозакл ...

...логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследу ...ечал [[Джевонс, Уильям Стенли|Джевонс]], операция вычитания в этой алгебре логики была не совсем удобной и иногда приводила к недоразумениям. ...

...алийские [[Логика|логики]] называют её релевантной логикой, а американские логики — логикой релевантности. С точки зрения синтаксических ограничений для [[Логика высказываний|логики высказываний]] необходимо, но не достаточно, чтобы предпосылки и заключение ...

...ласти [[Информатика|информатики]] и [[Математическая логика|математической логики]], внёсший решающий вклад в теоретическое обоснование парадигмы [[Структурн [[Категория:Логики]] ...

...бъект{{Переход|#Теория доказательств}}. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического док ...аристотелева логика не оказала, и вопросам [[Формальная логика|формальной логики]] в доказательствах внимания не уделяли{{Sfn|Бурбаки|1963|с=12—14|loc=Труды ...

...]] [[1889]] — [[13 ноября]] [[1964]]) — немецкий {{философ/кат|Германии|XX века}}, логик, математик, историк математики. Наряду с [[Хайдеггер, Мартин|Марти ...он поставил проблему нахождения формального исчисления для интуционистской логики. ...

...скими параметрами, а с точки зрения [[Композиция (музыка)|композиционной]] логики музыкального произведения. ...о тона»; см. подробней [[Высота звука]]), а с позиций музыкальной [[Логика|логики]] — по местоположению и значению в [[Звуковая система|звуковой системе]], в ...

|период = [[Философия XX века|XX век]] ...мериканский {{философ/кат|США|XX века|XXI века}} и {{логик|США|XX века|XXI века}}. Почётный профессор [[Гарвардский университет|Гарвардского университета]] ...

=== Древность и средние века === ...тра]]х [[История математики в Индии|древней Индии]] (начиная примерно с IV века до н. э.)<ref name="India">''Amulya Kumar Bag''. [http://repository.ias.ac. ...

А то кто снес бы униженья века, ...для сравнения Принца Датского с [[экзистенциализм|экзистенциалистами]] XX века. ...

|период = [[философия XX века]] ...ософ]]. Считается родоначальником современной [[Модальная логика|модальной логики]] и основателем концептуального [[прагматизм]]а<ref>[[Sandra B. Rosenthal]] ...

...тна как ''наивная теория множеств''{{переход|#Наивная теория множеств}}. В XX веке теория получила существенное методологическое развитие, были созданы н ...а понимание самого предмета математики</cite>»</ref>. В первой половине XX века теоретико-множественный подход был привнесён и во многие традиционные разде ...

...name=Gerasimov>{{Книга|автор=А. С. Герасимов.|заглавие=Курс математической логики и теории вычислимости|ссылка=http://www.mccme.ru/free-books/gerasimov-3ed-m ...одом первоначального варианта парадокса Рассела, изложенного им в терминах логики предикатов (см. письмо к Фреге [[#письмо к Фреге|ниже]]), на нематематическ ...