| http://dbpedia.org/ontology/abstract
|
Jacques Herbrand (Parigi, 12 febbraio 1908 – La Bérarde, 27 luglio 1931) è stato un matematico francese.
, Жак Эрбран (фр. Jacques Herbrand; 12 февраля 1908, Париж — 27 июля 1931, , Изер) — французский математик и логик.
, Jacques Herbrand, né à Paris le 12 février 1908 et mort dans un accident de montagne à La Bérarde en Oisans (Isère), le 27 juillet 1931, est un mathématicien et logicien français.
, 雅克·埃尔布朗（英語：Jacques Herbrand，1908年2月12日－1931年7月27日），法国数学家。生于巴黎。毕业于巴黎高等师范学校学习，21岁获博士学位，后出国到德国游学。游学期间与冯·诺伊曼、阿廷、诺特等人相识。1931年夏在阿尔卑斯山爬山时，不幸遇险身亡，年仅23岁。 埃尔布朗的主要贡献在数理逻辑和类域论，发明了递归函数。他建立的埃尔布朗定理是量化理论的一个基本命题，已成为机器证明的基础。在近世代数方面，他发表了十几篇有关类域论的论文，丰富了代数数域的阿贝尔扩张理论。
, Жак Ербран (фр. Jacques Herbrand, 12 лютог … Жак Ербран (фр. Jacques Herbrand, 12 лютого 1908 — 27 липня 1931) — французький математик. Хоча він помер в 23 роки, він вважався одним з «найвидатніших математиків молодшого покоління» його професорами були Гельмут Гассе і Ріхард Курант. Він працював над математичною логікою та теорією полів класів. Він увів поняття функціональної рекурсії. Теорема Ербрана відноситься до двох зовсім різних теорем. Перша теорема є результатом його дисертаційної роботи з теорії доказів, а інша половина — . , як ейлерова характеристика, використовується в гомологічній алгебрі. Його внесок в стосується основ математики. Ним наведено конструктивний доказ несуперечності слабкої системи арифметики. Доказ використовує вищезгадану, теорему-доказ Ербрана.стовує вищезгадану, теорему-доказ Ербрана.
, Jacques Herbrand (París, 12 de febrer de 1908 - Sant Cristòu, 27 de juliol de 1931) va ser un matemàtic francès del segle xx.
, Jacques Herbrand (Paris, 12 de fevereiro d … Jacques Herbrand (Paris, 12 de fevereiro de 1908 — Oisans, 27 de julho de 1931) foi um matemático francês. Trabalhou em lógica matemática e teoria dos corpos de classes. Herbrand introduziu funções recursivas em meados de 1932. A expressão teorema de Herbrand se refere a dois teoremas completamente diferentes. Um é o resultado da sua tese de doutorado em teoria da prova, e do . O quociente de Herbrand é um tipo de característica de Euler, usada em algebra homológica. Ele contribuiu para o programa de Hilbert nos fundamentos da matemática fornecendo uma demonstração de consistência construtiva para um sistema fraco da aritmética. A demonstração usa o supra-mencionado teorema de Herbrand em teoria da prova. Herbrand terminou seu doutorado na École Normale Supérieure em Paris sob a orientação de Ernest Vessiot, em 1929. Entretanto, ele ingressou no exército em Outubro de 1929, e não defendeu sua tese na Sorbonne antes do ano seguinte. Ele ganhou uma bolsa Rockefeller que o permitiu estudar na Alemanha em 1931, primeiro com John von Neumann em Berlim, e em junho com Emil Artin em Hamburgo, e finalmente com Emmy Noether em Göttingen. Ele submeteu seu principal estudo sobre da teoria da prova e funções recursivas gerais, "On the consistency of arithmetic" (Sobre a consistência da aritmética) no início de 1931. Enquanto seu ensaio estava sendo examinado, o "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" (Sobre sentenças formalmente indecidíveis do Principia Mathematica e sistemas relacionados I) de Gödel anunciou a impossibilidade de formalizar a prova de consistência de uma teoria suficientemente forte dentro dessa própria teoria. Herbrand estudou o ensaio de Gödel e escreveu um apêndice para o seu próprio estudo explicando porque o resultado de Gödel não contradizia o seu. Em julho daquele ano ele estava escalando os Alpes franceses com dois amigos, caiu nas montanhas de granito do Massif des Écrins e morreu. "On the consistency of arithmetic" foi publicado postumamente.of arithmetic" foi publicado postumamente.
, Jacques Herbrand (12 February 1908 – 27 Ju … Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician. Although he died at age 23, he was already considered one of "the greatest mathematicians of the younger generation" by his professors Helmut Hasse and Richard Courant. He worked in mathematical logic and class field theory. He introduced recursive functions. Herbrand's theorem refers to either of two completely different theorems. One is a result from his doctoral thesis in proof theory, and the other one half of the Herbrand–Ribet theorem. The Herbrand quotient is a type of Euler characteristic, used in homological algebra. He contributed to Hilbert's program in the foundations of mathematics by providing a constructive consistency proof for a weak system of arithmetic. The proof uses the above-mentioned, proof-theoretic Herbrand's theorem.ioned, proof-theoretic Herbrand's theorem.
, Jacques Herbrand (ur. 12 lutego 1908 - zm. 27 lipca 1931) – francuski matematyk, znany głównie ze swojego wkładu do logiki matematycznej, w mniejszym stopniu też do algebry. Autor twierdzenia Herbranda. Zginął w wypadku podczas wspinaczki w Alpach.
, Jacques Herbrand, född 12 februari 1908 i Paris, död 27 juli 1931 i Saint-Christophe-en-Oisans, var en fransk logiker och matematiker.
, ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - … ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - 1931年7月27日)はパリ生まれのフランスの数学者である。 数理論理学と類体論に業績がある。再帰関数を導入した。エルブランの定理と呼ばれているものは、まったく別の2つの定理を指していう。ひとつは彼が博士論文として書いた証明論についてのものであり、もうひとつはエルブラン・リベットの定理と呼ばれているものである。エルブラン商とはホモロジー代数におけるオイラー標数の一種。彼はまたヒルベルトプログラムにも貢献した（弱い算術系における無矛盾性の証明）。一種。彼はまたヒルベルトプログラムにも貢献した（弱い算術系における無矛盾性の証明）。
, Jacques Herbrand (Parijs, 12 februari 1908 … Jacques Herbrand (Parijs, 12 februari 1908 - La Bérarde, Isère, 27 juli 1931) was een Frans wiskundige. Hij werkte op het gebied van de wiskundige logica en de klassenveldtheorie. Hij introduceerde recursieve functies. De verwijst naar twee verschillende stellingen. Een daarvan is een resultaat uit zijn proefschrift over bewijstheorie. De andere is de stelling van Herbrand-Ribet. Het is een type Euler-karakteristiek, die gebruikt wordt in de homologische algebra. Hij heeft bijgedragen aan het programma van David Hilbert over de grondslagen van de wiskunde door een constructief consistentiebewijs voor een zwak systeem van de rekenkundige op te stellen. Dit bewijs maakt gebruik van de hierboven genoemde bewijstheoretische stelling van Herbrand. bewijstheoretische stelling van Herbrand.
, 자크 에르브랑(프랑스어: Jacques Herbrand, 1908~1931)은 프랑스의 수학자이다. 수리 논리학과 유체론에 크게 공헌하였으나, 등산 여행 중 산에서 추락하여 23세의 나이에 요절하였다.
, Jacques Herbrand (París, 12 de febrero de … Jacques Herbrand (París, 12 de febrero de 1908 - , Saint-Christophe-en-Oisans, 27 de julio de 1931) fue un matemático francés que trabajó en lógica matemática. Egresado de la Escuela Normal Superior de París. Pasó un corto período también en la Universidad de Göttingen. Introdujo la noción de función recursiva. El Teorema de Herbrand es uno de los primeros resultados teoría de la demostración, establece un nexo entre cuantificación y lógica de primer orden cuya importancia es el proveer un método para verificar la validez de una fórmula con cuantificadores basándose en la verificación sucesiva de la validez de fórmulas de primer orden. Dado que la verificación de validez se puede realizar mecánicamente, el Teorema de Herbrand justifica el trabajo de las herramientas de software desarrolladas para demostración asistida por computador. El cociente de Herbrand es un tipo de característica de Euler, utilizada en álgebra homológica. Todo esto en un breve lapso, puesto que Jacques Herbrand murió a los 23 años en un accidente de montaña en los Alpes.s en un accidente de montaña en los Alpes.
, Jacques Herbrand (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker, Algebraiker und Zahlentheoretiker.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Class_field_theory +
, http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Paris +
, http://dbpedia.org/resource/%C3%89cole_Normale_Sup%C3%A9rieure +
|
| http://dbpedia.org/ontology/birthDate
|
"1908-02-12"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"1931-07-27"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/La_B%C3%A9rarde +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Ernest_Vessiot +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Herbrand%27s_theorem +
, http://dbpedia.org/resource/Herbrand_quotient +
, http://dbpedia.org/resource/Herbrand%E2%80%93Ribet_theorem +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/J_Herbrand_1931.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://eudml.org/doc/192791 +
|
| http://dbpedia.org/ontology/wikiPageID
|
159901
|
| http://dbpedia.org/ontology/wikiPageLength
|
5978
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1067625162
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:French_male_non-fiction_writers +
, http://dbpedia.org/resource/Foundations_of_mathematics +
, http://dbpedia.org/resource/Massif_des_%C3%89crins +
, http://dbpedia.org/resource/DFKI +
, http://dbpedia.org/resource/Ernest_Vessiot +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Category:1908_births +
, http://dbpedia.org/resource/Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Helmut_Hasse +
, http://dbpedia.org/resource/Hilbert%27s_program +
, http://dbpedia.org/resource/Herbrand_quotient +
, http://dbpedia.org/resource/Herbrand%E2%80%93Ribet_theorem +
, http://dbpedia.org/resource/Category:French_logicians +
, http://dbpedia.org/resource/Consistency_proof +
, http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Prix_Jacques_Herbrand +
, http://dbpedia.org/resource/Germany +
, http://dbpedia.org/resource/%C3%89cole_Normale_Sup%C3%A9rieure +
, http://dbpedia.org/resource/La_B%C3%A9rarde +
, http://dbpedia.org/resource/Alps +
, http://dbpedia.org/resource/Category:Sport_deaths_in_France +
, http://dbpedia.org/resource/Herbrand%27s_theorem_on_ramification_groups +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Herbrandization +
, http://dbpedia.org/resource/Category:20th-century_French_mathematicians +
, http://dbpedia.org/resource/Herbrand%27s_theorem +
, http://dbpedia.org/resource/Emil_Artin +
, http://dbpedia.org/resource/Jean_van_Heijenoort +
, http://dbpedia.org/resource/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni +
, http://dbpedia.org/resource/Berlin +
, http://dbpedia.org/resource/Homological_algebra +
, http://dbpedia.org/resource/Category:20th-century_French_philosophers +
, http://dbpedia.org/resource/Herbrand_structure +
, http://dbpedia.org/resource/Rockefeller_Foundation +
, http://dbpedia.org/resource/Herbrand_Award +
, http://dbpedia.org/resource/Category:Scientists_from_Paris +
, http://dbpedia.org/resource/Claude_Chevalley +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Category:Logicians +
, http://dbpedia.org/resource/University_of_Paris +
, http://dbpedia.org/resource/G%C3%B6del +
, http://dbpedia.org/resource/Rollo_Davidson +
, http://dbpedia.org/resource/Hamburg +
, http://dbpedia.org/resource/Nicolas_Bourbaki +
, http://dbpedia.org/resource/Natascha_Artin_Brunswick +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Herbrand_interpretation +
, http://dbpedia.org/resource/General_recursive_function +
, http://dbpedia.org/resource/Category:Proof_theorists +
, http://dbpedia.org/resource/Category:University_of_Paris_alumni +
, http://dbpedia.org/resource/Richard_Courant +
, http://dbpedia.org/resource/Category:20th-century_French_male_writers +
, http://dbpedia.org/resource/Category:1931_deaths +
, http://dbpedia.org/resource/Emmy_Noether +
, http://dbpedia.org/resource/John_von_Neumann +
, http://dbpedia.org/resource/Class_field_theory +
, http://dbpedia.org/resource/G%C3%B6ttingen +
, http://dbpedia.org/resource/Euler_characteristic +
, http://dbpedia.org/resource/Category:Mountaineering_deaths +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Paris +
, http://dbpedia.org/resource/%C3%89cole_Normale_Sup%C3%A9rieure +
|
| http://dbpedia.org/property/birthDate
|
"1908-02-12"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Paris, France
|
| http://dbpedia.org/property/caption
|
Herbrand in summer 1931, as photographed by Natascha Artin Brunswick
|
| http://dbpedia.org/property/deathDate
|
"1931-07-27"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
La Bérarde, Isère, France
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Ernest_Vessiot +
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Class_field_theory +
, http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Herbrand%27s_theorem +
, http://dbpedia.org/resource/Herbrand_quotient +
, http://dbpedia.org/resource/Herbrand%E2%80%93Ribet_theorem +
|
| http://dbpedia.org/property/name
|
Jacques Herbrand
|
| http://dbpedia.org/property/nationality
|
French
|
| http://dbpedia.org/property/thesisTitle
|
Recherches sur la théorie de la démonstration
|
| http://dbpedia.org/property/thesisUrl
|
https://eudml.org/doc/192791 +
|
| http://dbpedia.org/property/thesisYear
|
1930
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:MacTutor_Biography +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Cite_report +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:20th-century_French_male_writers +
, http://dbpedia.org/resource/Category:1931_deaths +
, http://dbpedia.org/resource/Category:Proof_theorists +
, http://dbpedia.org/resource/Category:Sport_deaths_in_France +
, http://dbpedia.org/resource/Category:French_logicians +
, http://dbpedia.org/resource/Category:Mountaineering_deaths +
, http://dbpedia.org/resource/Category:20th-century_French_mathematicians +
, http://dbpedia.org/resource/Category:Scientists_from_Paris +
, http://dbpedia.org/resource/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni +
, http://dbpedia.org/resource/Category:University_of_Paris_alumni +
, http://dbpedia.org/resource/Category:1908_births +
, http://dbpedia.org/resource/Category:French_male_non-fiction_writers +
, http://dbpedia.org/resource/Category:20th-century_French_philosophers +
, http://dbpedia.org/resource/Category:Logicians +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/24739214 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Jacques_Herbrand?oldid=1067625162&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/J_Herbrand_1931.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Jacques_Herbrand +
|
| http://xmlns.com/foaf/0.1/name
|
Jacques Herbrand
|
| owl:sameAs |
http://it.dbpedia.org/resource/Jacques_Herbrand +
, http://pl.dbpedia.org/resource/Jacques_Herbrand +
, http://mn.dbpedia.org/resource/%D0%96%D0%B0%D0%BA_%D0%AD%D1%80%D0%B1%D1%80%D0%B0%D0%BD +
, http://de.dbpedia.org/resource/Jacques_Herbrand +
, http://pt.dbpedia.org/resource/Jacques_Herbrand +
, http://fr.dbpedia.org/resource/Jacques_Herbrand +
, http://www.wikidata.org/entity/Q448086 +
, http://ht.dbpedia.org/resource/Jacques_Herbrand +
, http://yago-knowledge.org/resource/Jacques_Herbrand +
, http://arz.dbpedia.org/resource/%D8%AC%D8%A7%D9%83_%D9%87%D9%8A%D8%B1%D8%A8%D8%B1%D8%A7%D9%86%D8%AF +
, http://ja.dbpedia.org/resource/%E3%82%B8%E3%83%A3%E3%83%83%E3%82%AF%E3%83%BB%E3%82%A8%E3%83%AB%E3%83%96%E3%83%A9%E3%83%B3 +
, http://viaf.org/viaf/24739214 +
, http://sr.dbpedia.org/resource/%D0%96%D0%B0%D0%BA_%D0%95%D1%80%D0%B1%D1%80%D0%B0%D0%BD +
, https://global.dbpedia.org/id/49cta +
, http://nn.dbpedia.org/resource/Jacques_Herbrand +
, http://rdf.freebase.com/ns/m.015390 +
, http://zh.dbpedia.org/resource/%E9%9B%85%E5%85%8B%C2%B7%E5%9F%83%E5%B0%94%E5%B8%83%E6%9C%97 +
, http://sk.dbpedia.org/resource/Jacques_Herbrand +
, http://d-nb.info/gnd/118774018 +
, http://dbpedia.org/resource/Jacques_Herbrand +
, http://ca.dbpedia.org/resource/Jacques_Herbrand +
, http://data.bibliotheken.nl/id/thes/p106944312 +
, http://uk.dbpedia.org/resource/%D0%96%D0%B0%D0%BA_%D0%95%D1%80%D0%B1%D1%80%D0%B0%D0%BD +
, http://nl.dbpedia.org/resource/Jacques_Herbrand +
, http://sv.dbpedia.org/resource/Jacques_Herbrand +
, http://ru.dbpedia.org/resource/%D0%AD%D1%80%D0%B1%D1%80%D0%B0%D0%BD%2C_%D0%96%D0%B0%D0%BA +
, http://es.dbpedia.org/resource/Jacques_Herbrand +
, http://ko.dbpedia.org/resource/%EC%9E%90%ED%81%AC_%EC%97%90%EB%A5%B4%EB%B8%8C%EB%9E%91 +
|
| rdf:type |
http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://dbpedia.org/class/yago/WikicatFrenchPhilosophers +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatProofTheorists +
, http://dbpedia.org/class/yago/Wikicat%C3%89coleNormaleSup%C3%A9rieureAlumni +
, http://dbpedia.org/class/yago/WikicatFrenchMathematicians +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatFrenchPeople +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/WikicatPeopleFromParis +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q19088 +
, http://umbel.org/umbel/rc/PersonWithOccupation +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://www.wikidata.org/entity/Q901 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/WikicatFrenchLogicians +
, http://www.wikidata.org/entity/Q729 +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/ontology/Eukaryote +
|
| rdfs:comment |
Jacques Herbrand (ur. 12 lutego 1908 - zm. 27 lipca 1931) – francuski matematyk, znany głównie ze swojego wkładu do logiki matematycznej, w mniejszym stopniu też do algebry. Autor twierdzenia Herbranda. Zginął w wypadku podczas wspinaczki w Alpach.
, Жак Эрбран (фр. Jacques Herbrand; 12 февраля 1908, Париж — 27 июля 1931, , Изер) — французский математик и логик.
, Jacques Herbrand (París, 12 de febrer de 1908 - Sant Cristòu, 27 de juliol de 1931) va ser un matemàtic francès del segle xx.
, 雅克·埃尔布朗（英語：Jacques Herbrand，1908年2月12日－1931年7月27日），法国数学家。生于巴黎。毕业于巴黎高等师范学校学习，21岁获博士学位，后出国到德国游学。游学期间与冯·诺伊曼、阿廷、诺特等人相识。1931年夏在阿尔卑斯山爬山时，不幸遇险身亡，年仅23岁。 埃尔布朗的主要贡献在数理逻辑和类域论，发明了递归函数。他建立的埃尔布朗定理是量化理论的一个基本命题，已成为机器证明的基础。在近世代数方面，他发表了十几篇有关类域论的论文，丰富了代数数域的阿贝尔扩张理论。
, ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - … ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - 1931年7月27日)はパリ生まれのフランスの数学者である。 数理論理学と類体論に業績がある。再帰関数を導入した。エルブランの定理と呼ばれているものは、まったく別の2つの定理を指していう。ひとつは彼が博士論文として書いた証明論についてのものであり、もうひとつはエルブラン・リベットの定理と呼ばれているものである。エルブラン商とはホモロジー代数におけるオイラー標数の一種。彼はまたヒルベルトプログラムにも貢献した（弱い算術系における無矛盾性の証明）。一種。彼はまたヒルベルトプログラムにも貢献した（弱い算術系における無矛盾性の証明）。
, Жак Ербран (фр. Jacques Herbrand, 12 лютого 1908 — 27 липня 1931) — французький математик. Хоча він помер в 23 роки, він вважався одним з «найвидатніших математиків молодшого покоління» його професорами були Гельмут Гассе і Ріхард Курант.
, Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician. Although he died at age 23, he was already considered one of "the greatest mathematicians of the younger generation" by his professors Helmut Hasse and Richard Courant.
, Jacques Herbrand (Parigi, 12 febbraio 1908 – La Bérarde, 27 luglio 1931) è stato un matematico francese.
, Jacques Herbrand (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker, Algebraiker und Zahlentheoretiker.
, Jacques Herbrand (Paris, 12 de fevereiro d … Jacques Herbrand (Paris, 12 de fevereiro de 1908 — Oisans, 27 de julho de 1931) foi um matemático francês. Trabalhou em lógica matemática e teoria dos corpos de classes. Herbrand introduziu funções recursivas em meados de 1932. A expressão teorema de Herbrand se refere a dois teoremas completamente diferentes. Um é o resultado da sua tese de doutorado em teoria da prova, e do . O quociente de Herbrand é um tipo de característica de Euler, usada em algebra homológica. Ele contribuiu para o programa de Hilbert nos fundamentos da matemática fornecendo uma demonstração de consistência construtiva para um sistema fraco da aritmética. A demonstração usa o supra-mencionado teorema de Herbrand em teoria da prova.do teorema de Herbrand em teoria da prova.
, Jacques Herbrand (París, 12 de febrero de … Jacques Herbrand (París, 12 de febrero de 1908 - , Saint-Christophe-en-Oisans, 27 de julio de 1931) fue un matemático francés que trabajó en lógica matemática. Egresado de la Escuela Normal Superior de París. Pasó un corto período también en la Universidad de Göttingen. Introdujo la noción de función recursiva. El cociente de Herbrand es un tipo de característica de Euler, utilizada en álgebra homológica. Todo esto en un breve lapso, puesto que Jacques Herbrand murió a los 23 años en un accidente de montaña en los Alpes.s en un accidente de montaña en los Alpes.
, 자크 에르브랑(프랑스어: Jacques Herbrand, 1908~1931)은 프랑스의 수학자이다. 수리 논리학과 유체론에 크게 공헌하였으나, 등산 여행 중 산에서 추락하여 23세의 나이에 요절하였다.
, Jacques Herbrand (Parijs, 12 februari 1908 … Jacques Herbrand (Parijs, 12 februari 1908 - La Bérarde, Isère, 27 juli 1931) was een Frans wiskundige. Hij werkte op het gebied van de wiskundige logica en de klassenveldtheorie. Hij introduceerde recursieve functies. De verwijst naar twee verschillende stellingen. Een daarvan is een resultaat uit zijn proefschrift over bewijstheorie. De andere is de stelling van Herbrand-Ribet. Het is een type Euler-karakteristiek, die gebruikt wordt in de homologische algebra. Hij heeft bijgedragen aan het programma van David Hilbert over de grondslagen van de wiskunde door een constructief consistentiebewijs voor een zwak systeem van de rekenkundige op te stellen. Dit bewijs maakt gebruik van de hierboven genoemde bewijstheoretische stelling van Herbrand. bewijstheoretische stelling van Herbrand.
, Jacques Herbrand, né à Paris le 12 février 1908 et mort dans un accident de montagne à La Bérarde en Oisans (Isère), le 27 juillet 1931, est un mathématicien et logicien français.
, Jacques Herbrand, född 12 februari 1908 i Paris, död 27 juli 1931 i Saint-Christophe-en-Oisans, var en fransk logiker och matematiker.
|
| rdfs:label |
雅克·埃尔布朗
, Jacques Herbrand
, Эрбран, Жак
, 자크 에르브랑
, ジャック・エルブラン
, Жак Ербран
|
