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

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

...[[ученый]]-[[математик]] в области [[Математическая логика|математической логики]], [[Доктор наук|доктор физико-математических наук]], [[профессор]], директ ...тической и прикладной логики. Позже её назвали лабораторией математической логики и информатики. ...

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

...ософ]]. Считается родоначальником современной [[Модальная логика|модальной логики]] и основателем концептуального [[прагматизм]]а<ref>[[Sandra B. Rosenthal]] ...York Times]] отметила его как «ведущего авторитета в области символической логики и философских концепций знания и ценности»<ref>[https://www.nytimes.com/196 ...

...ровка сообщений внесла заметный вклад в поражение [[Третий рейх|нацистской Германии]]. В 1931 году сотрудник шифрбюро министерства обороны Германии [[Шмидт, Ганс-Тило|Ганс-Тило Шмидт]], ставший уже агентом «Аше», начал пере ...

...х и конкурентоспособных партий (пример: [[Свободная демократическая партия Германии]] на протяжении почти всего послевоенного периода)<ref name="Blau170"/>. ...)? Одним из выходов из этой проблемы является следование выше обозначенной логики полупартий, особенно в системах, где <math>N \approx 2{,}5</math>, которые ...

...XVII века|XVIII века}}, {{механик|Германии|XVII века|XVIII века}}, {{физик|Германии|XVII века|XVIII века}}, [[юрист]], [[историк]], [[дипломат]], [[изобретател * заложил основы [[Математическая логика|математической логики]]<ref name="энциклопедия" />{{sfn |В. Лейбниц // Большая энциклопедия Кирил ...

...ауке трудности, известные под названием «апории Зенона»? |издание=Проблемы логики |ответственный=Таванец П. В. |место=М. |год=1963 |страницы=116—136 }}</ref> ...солютного…»'' ''[[Гегель, Георг Вильгельм Фридрих|Гегель Г. В. Ф.]]''Наука логики. // Соч., т. V. — М.: Госиздат, 1927. — С. 136.</ref>, особо рассматривает ...

...е короли из династии Гогенцоллернов были одновременно и [[Кайзер|кайзерами Германии]]. Католическая ветвь Гогенцоллернов, Гогенцоллерны-Зигмарингены, правила в ...[[Германская империя|Германской империи]], осуществивший план объединения Германии и прозванный «железным канцлером». ...

Помимо логики ещё один приём философского мышления обеспечивает целостность философии. Ка ...ики]] и логик более высоких порядков, в частности [[Логика второго порядка|логики второго порядка]]. Кроме этого взаимосвязь формального символического языка ...

...ести все положения теории, или [[Теорема|теоремы]], с помощью общепринятой логики<ref name="bse_method"/>. Теоретическое построение арифметики оперирует алге ...ют на специальном формальном языке [[Логика первого порядка|математической логики]]<ref name="bse_formal"/>. Он содержит <math>0</math>, числовые переменные, ...

В августе 1900 года Пуанкаре руководил секцией логики Первого [[Всемирный философский конгресс|Всемирного философского конгресса] ...ах по поводу приоритетных споров, а теорию Эйнштейна предпочли не только в Германии, но и в Великобритании и даже в самой Франции (например, [[Ланжевен, Поль|Л ...

...у с собственной методологией, основанной на чётко сформулированных законах логики (гарантирующих истинность выводов при условии, что истинны предпосылки). С конца 1820-х годов формируется школа проективных геометров в Германии ([[Мёбиус, Август Фердинанд|Мёбиус]], [[Плюккер, Юлиус|Плюккер]], [[Гессе, ...