About: dbkwik:resource/6jfCPtqYWBHkm9q3MfSTtQ==   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

AttributesValues
rdfs:label
  • БРАУЭР (Brouwer) Лейтзен Эгберт Ян
rdfs:comment
  • left|250Лёйтзен Э́гберт Ян Бра́уэр (нидерл. Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ. Член Нидерландской АН в Амстердаме (1912), член-корреспондент Королевской АН в Лондоне, Парижской и Гёттингенской АН, профессор Амстердамского университета (1912—1951). В 1932 г. он получил звание Рыцаря Голландского льва (Knight in the Order of the Dutch Lion).
dcterms:subject
имя
  • Лёйтзен Эгберт Ян Брауэр
дата рождения
  • 27(xsd:integer)
Ширина
  • 250(xsd:integer)
dbkwik:resource/gMRMZONIaBzMatMIk33rww==
  • Файл:Brouwer 1.jpg
дата смерти
  • 2(xsd:integer)
dbkwik:ru.science/...iPageUsesTemplate
dbkwik:resource/NxzlwD2OOcKxMgPrEJ2g7w==
  • Luitzen Egbertus Jan Brouwer
dbkwik:resource/iVuWelPd0NdHwNO3ITje3w==
dbkwik:resource/oa4Db1UHVNf3OiFO_niB7Q==
  • Голландия
dbkwik:resource/FY6PCB-83Xj-SvFIKT8jMw==
dbkwik:resource/Tpo0BOVoHT15lt47Ulqzaw==
abstract
  • left|250Лёйтзен Э́гберт Ян Бра́уэр (нидерл. Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ. Член Нидерландской АН в Амстердаме (1912), член-корреспондент Королевской АН в Лондоне, Парижской и Гёттингенской АН, профессор Амстердамского университета (1912—1951). В 1932 г. он получил звание Рыцаря Голландского льва (Knight in the Order of the Dutch Lion). Положил начало новому направлению в математике - интуиционизму. Он подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства (доказательства от противного). Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. учеником Брауэра А. Гейтингом и не содержащей указанных законов. Лёйтзен Бра́уэр - был гением ХХ века: его заслуги в логике и математике можно сравнить лишь с тем, что Эйнштейн сделал в физике... Категория:Персоналии по алфавитуКатегория:Учёные по алфавиту
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software