Stanisław Jaśkowski (original) (raw)
Stanisław Jaśkowski (* 22. April 1906 in Warschau; † 16. November 1965 ebenda) war ein polnischer Logiker der Lemberg-Warschau-Schule. Er trug wesentlich zur Entwicklung der Systeme natürlichen Schließens der Beweistheorie und formalen Semantik bei. Jaśkowski studierte Mathematik bei Jan Łukasiewicz. Er nahm als Freiwilliger an der Verteidigung Warschaus 1939 teil. 1946 wurde er Professor der Universität Thorn und 1959 ihr Rektor.
Property | Value |
---|---|
dbo:abstract | Stanisław Jaśkowski (* 22. April 1906 in Warschau; † 16. November 1965 ebenda) war ein polnischer Logiker der Lemberg-Warschau-Schule. Er trug wesentlich zur Entwicklung der Systeme natürlichen Schließens der Beweistheorie und formalen Semantik bei. Jaśkowski studierte Mathematik bei Jan Łukasiewicz. Er nahm als Freiwilliger an der Verteidigung Warschaus 1939 teil. 1946 wurde er Professor der Universität Thorn und 1959 ihr Rektor. (de) Stanislaw Jaśkowski , né le 22 avril 1906 à Varsovie, mort le 16 novembre 1965 à Varsovie, est un logicien polonais. Il a fait des contributions majeures à la logique symbolique. (fr) Stanisław Jaśkowski (22 April 1906, in Warsaw – 16 November 1965, in Warsaw) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw School of Logic. Upon his death his name was added to the Genius Wall of Fame. He was the President (rector) of the Nicolaus Copernicus University in Toruń. Jaśkowski is considered to be one of the founders of natural deduction, which he discovered independently of Gerhard Gentzen in the 1930s. Gentzen's approach initially became more popular with logicians because it could be used to prove the cut-elimination theorem. However, Jaśkowski's is closer to the way that proofs are done in practice. He was also one of the first to propose a formal calculus of inconsistency-tolerant (or paraconsistent) logic. Furthermore, Jaśkowski was a pioneer in the investigation of both intuitionistic logic and free logic. (en) Stanisław Jaśkowski (ur. 22 kwietnia 1906 w Warszawie, zm. 16 listopada 1965 w Warszawie) – polski logik, profesor i rektor Uniwersytetu Toruńskiego. Był studentem Jana Łukasiewicza i członkiem szkoły lwowsko-warszawskiej, wniósł wkład do teorii dowodu i semantyki. Jaśkowski jest uważany za jednego z twórców dedukcji naturalnej, którą odkrył niezależnie od Gerharda Gentzena w latach trzydziestych XX wieku (ujęcie Gentzena zyskało początkowo większą popularność ze względu na możliwość dowiedzenia , jednak podejście Jaśkowskiego jest bliższe temu, jak przeprowadzane są dowody w praktyce). Również jako jeden z pierwszych zaproponował formalny rachunek logiki parakonsystentnej, a ponadto był pionierem w badaniu zarówno logiki intuicjonistycznej, jak i logiki wolnej. (pl) Stanisław Jaśkowski (22 de abril de 1906, Varsóvia – novembro 16, de 1965, de Varsóvia) foi um lógico polonês que deu importantes contribuições para a teoria da prova e a semântica formal. Ele foi estudante de Jan Lukasiewicz e um membro da Escola de Lógica Lwów-Warsaw. Após sua morte, seu nome foi adicionado à Genius Wall of Fame. Ele foi o Presidente (reitor) da Nicolaus Copernicus University em Toruń. Jaśkowski é considerado um dos fundadores da dedução natural, que ele descobriu independentemente de Gerhard Gentzen , na década de 1930. (A abordagem de Gentzen tornou-se inicialmente mais popular com os lógicos, porque poderia ser usada para provar o teorema da eliminação do corte. Mas a abrodagem de Jaśkowski está mais perto da maneira como as provas são feitas na prática.) Ele também foi um dos primeiros a propor um procedimento formal de cálculo de tolerância a inconsistência (ou cálculo paraconsistente) lógica. Além disso, Jaśkowski foi um pioneiro na investigação tanto da lógica intuicionista como da lógica livre. (pt) Станислав Яськовский (польск. Stanisław Jaśkowski; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики. Он был студентом Яна Лукасевича и принадлежал к . С 1946 года — профессор, с 1959 по 1962 гг. — ректор Университета Николая Коперника в Торуне. Яськовский считается одним из основателей натурального исчисления, которое он открыл независимо от Герхарда Генцена в 1930-х гг. (подход Генцена более известен). Он был одним из первых, если не первым, кто предложил формальное исчисление . Следовательно, Яськовский является пионером в исследовании как интуиционистской логики, так и . (ru) 斯坦尼斯瓦夫·亚希科夫斯基(波兰语:Stanisław Jaśkowski,1906年4月22日-1965年11月16日),波兰逻辑学家,他是扬·卢卡西维茨的學生,曾擔任托伦校長。他在证明论和语义学方面作出过重要贡献。 (zh) |
dbo:thumbnail | wiki-commons:Special:FilePath/Jaskowski.jpg?width=300 |
dbo:wikiPageExternalLink | https://web.archive.org/web/20080228203949/http:/www.ifispan.waw.pl/studialogica/PL.Logic.html http://plato.stanford.edu/archives/sum2003/entries/lvov-warsaw/ http://www.logik.ch/daten/jaskowski.pdf http://www.logika.uni.torun.pl/llp/07/50l.pdf https://web.archive.org/web/20060404050604/http:/www.logika.uni.torun.pl/llp/07/50l.pdf |
dbo:wikiPageID | 4304907 (xsd:integer) |
dbo:wikiPageLength | 3808 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1063895689 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Cut-elimination_theorem dbr:Intuitionistic_logic dbr:Gerhard_Gentzen dbc:1906_births dbc:1965_deaths dbc:University_of_Warsaw_alumni dbc:Writers_from_Warsaw dbc:Nicolaus_Copernicus_University_in_Toruń_faculty dbc:Polish_logicians dbr:Toruń dbr:Warsaw dbr:Paraconsistent_logic dbr:Formal_semantics_(logic) dbc:Paraconsistent_logic dbr:Natural_deduction dbr:Proof_theory dbr:Jan_Łukasiewicz dbr:File:Jaskowski.jpg dbc:20th-century_Polish_philosophers dbc:Polish_mathematicians dbr:Free_logic dbr:Logician dbr:Lwów–Warsaw_School_of_Logic dbr:Nicolaus_Copernicus_University |
dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Cite_encyclopedia dbt:Cite_journal dbt:Short_description dbt:Poland-mathematician-stub dbt:Poland-philosopher-stub |
dct:subject | dbc:1906_births dbc:1965_deaths dbc:University_of_Warsaw_alumni dbc:Writers_from_Warsaw dbc:Nicolaus_Copernicus_University_in_Toruń_faculty dbc:Polish_logicians dbc:Paraconsistent_logic dbc:20th-century_Polish_philosophers dbc:Polish_mathematicians |
gold:hypernym | dbr:Logician |
rdf:type | owl:Thing dbo:Person yago:WikicatLogicians yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:WikicatPeopleFromWarsaw yago:WikicatPolishLogicians yago:WikicatPolishMathematicians yago:WikicatPolishPeople yago:WikicatPolishPhilosophers |
rdfs:comment | Stanisław Jaśkowski (* 22. April 1906 in Warschau; † 16. November 1965 ebenda) war ein polnischer Logiker der Lemberg-Warschau-Schule. Er trug wesentlich zur Entwicklung der Systeme natürlichen Schließens der Beweistheorie und formalen Semantik bei. Jaśkowski studierte Mathematik bei Jan Łukasiewicz. Er nahm als Freiwilliger an der Verteidigung Warschaus 1939 teil. 1946 wurde er Professor der Universität Thorn und 1959 ihr Rektor. (de) Stanislaw Jaśkowski , né le 22 avril 1906 à Varsovie, mort le 16 novembre 1965 à Varsovie, est un logicien polonais. Il a fait des contributions majeures à la logique symbolique. (fr) 斯坦尼斯瓦夫·亚希科夫斯基(波兰语:Stanisław Jaśkowski,1906年4月22日-1965年11月16日),波兰逻辑学家,他是扬·卢卡西维茨的學生,曾擔任托伦校長。他在证明论和语义学方面作出过重要贡献。 (zh) Stanisław Jaśkowski (22 April 1906, in Warsaw – 16 November 1965, in Warsaw) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw School of Logic. Upon his death his name was added to the Genius Wall of Fame. He was the President (rector) of the Nicolaus Copernicus University in Toruń. (en) Stanisław Jaśkowski (ur. 22 kwietnia 1906 w Warszawie, zm. 16 listopada 1965 w Warszawie) – polski logik, profesor i rektor Uniwersytetu Toruńskiego. Był studentem Jana Łukasiewicza i członkiem szkoły lwowsko-warszawskiej, wniósł wkład do teorii dowodu i semantyki. (pl) Stanisław Jaśkowski (22 de abril de 1906, Varsóvia – novembro 16, de 1965, de Varsóvia) foi um lógico polonês que deu importantes contribuições para a teoria da prova e a semântica formal. Ele foi estudante de Jan Lukasiewicz e um membro da Escola de Lógica Lwów-Warsaw. Após sua morte, seu nome foi adicionado à Genius Wall of Fame. Ele foi o Presidente (reitor) da Nicolaus Copernicus University em Toruń. (pt) Станислав Яськовский (польск. Stanisław Jaśkowski; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики. Он был студентом Яна Лукасевича и принадлежал к . С 1946 года — профессор, с 1959 по 1962 гг. — ректор Университета Николая Коперника в Торуне. (ru) |
rdfs:label | Stanisław Jaśkowski (de) Stanisław Jaśkowski (fr) Stanisław Jaśkowski (pl) Stanisław Jaśkowski (pt) Stanisław Jaśkowski (en) Яськовский, Станислав (ru) 斯坦尼斯瓦夫·亚希科夫斯基 (zh) |
owl:sameAs | freebase:Stanisław Jaśkowski http://viaf.org/viaf/101650161 http://d-nb.info/gnd/1245501992 https://dblp.org/pid/68/3506 https://orcid.org/0000-0001-7272-070X wikidata:Stanisław Jaśkowski http://arz.dbpedia.org/resource/ستانيسلو_جاوكوفسكى dbpedia-de:Stanisław Jaśkowski dbpedia-fr:Stanisław Jaśkowski dbpedia-pl:Stanisław Jaśkowski dbpedia-pt:Stanisław Jaśkowski dbpedia-ru:Stanisław Jaśkowski dbpedia-vi:Stanisław Jaśkowski dbpedia-zh:Stanisław Jaśkowski https://global.dbpedia.org/id/55DLh |
prov:wasDerivedFrom | wikipedia-en:Stanisław_Jaśkowski?oldid=1063895689&ns=0 |
foaf:depiction | wiki-commons:Special:FilePath/Jaskowski.jpg |
foaf:isPrimaryTopicOf | wikipedia-en:Stanisław_Jaśkowski |
is dbo:influencedBy of | dbr:Andrzej_Grzegorczyk |
is dbo:wikiPageRedirects of | dbr:Jaśkowski dbr:Stanislaw_Jaskowski dbr:Stanislaw_Jaśkowski |
is dbo:wikiPageWikiLink of | dbr:Jaśkowski dbr:List_of_Polish_people dbr:Index_of_philosophy_articles_(R–Z) dbr:List_of_logicians dbr:List_of_multiple_discoveries dbr:Universal_instantiation dbr:Timeline_of_Polish_science_and_technology dbr:Andrzej_Grzegorczyk dbr:Andrzej_Trybulec dbr:Fuzzy_concept dbr:Paraconsistent_logic dbr:List_of_Polish-language_authors dbr:Natural_deduction dbr:Proof_theory dbr:Stanislaw_Jaskowski dbr:Lwów–Warsaw_school dbr:Stanislaw_Jaśkowski |
is dbp:influences of | dbr:Andrzej_Grzegorczyk |
is foaf:primaryTopic of | wikipedia-en:Stanisław_Jaśkowski |