| 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
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3808 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:influencedBy
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influences
of | |
| is foaf:primaryTopic
of | |
