Математиците

Час линия Снимки Пари Марки Скица Търся

Stanislaw Lesniewski

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

30 March 1886

Serpukhov (near Ivanovo-Vosniesiensk), Russia

13 May 1939

Warsaw, Poland

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Становище Stanislaw Lesniewski "и наименованието трябва да бъде написана като Le niewski, но обикновено е transliterated, както Lesniewski и ние ще използваме тази форма в цялата тази статия. Lesniewski на бащата е Isydor Lesniewski, един полски инженер железопътно. Той е бил на работа, които участват Isydor Lesniewski да бъдат изпратени до местата, където железниците са били построени и на етапа, когато беше становище Stanislaw присъства на средното образование на семейството бяха живеещи в Сибир. Становище Stanislaw присъстваха училище и в град Иркутск.

Учи в няколко университета, разходите известно време в Мюнхен, в която участваха преподаватели от Ханс Корнелий, преди да вземе своето докторска степен по полски университет Lwów (сега Lvov, Украйна, но след това под контрола на Австрия). В Lwów е учил най-вече философията и също е математика курсове, присъствие на лекции по математика Йозеф Puzyna и Waclaw Sierpinski. Lesniewski, чийто ръководител е доктор Kazimierz Twardowski, публикувани две статии принос към анализа на съществуване предложения и опит в доказване на онтологични принципа на противоречие, като в същото време предприятието му докторски изследвания. Тези документи бяха публикувани в Lesniewski на майчин език на полски, но през 1913 един руски превод на двете статии е публикуван в рамките на едно звание логически изследвания. Докторска му бе връчена през 1912.

По това време януари Lukasiewicz е преподаването в Lwów, които са насърчавани от Privatdozent за извънредно професор в 1911, и е силно повлиян Lesniewski в първия курс по математическа логика, която той дава там. Един начин, по-специално, че това влияние е упражняван е над закона на изключени средата. Един от първите проекти Lesniewski бе да се опитаме да disprove този принцип, но Lukasiewicz бе публикувана една негова притурката към 1910 публикуването на принципа на договарянето при Аристотел, които да накарат Lesniewski за промяна на посоката на неговите изследвания. Започва да учи професионална логика и започнаха да правят опити да разберат strenuous Ръсел "и парадокс, който е научил чрез Lukasiewicz.

През 1913 Lesniewski публикува статия относно правото на средата изключени, а след това през следващата година на публикуването на Ръсел "и парадокс. Той оставил Lwów да заемат учителска позицията на Варшава училище, но след започването на Първата световна война той е взела решение да се върнете към Русия, той 1914-18, прекарано в Москва, където той преподава на полски гимназия. Въпреки че той бе представен първият му идеи за нова теория на класове, което ще се избегне парадокси, докато той е в Lwów, беше по време на своето време в Москва, че Lesniewski публикува негова официална теория, наречена mereology. Ние даде някои допълнителни технически подробности на тази теория по-долу.

Веднага след като Полша беше освободена в края на войната, Lesniewski върнати Варшава. Там той започва да получите повече, участващи в изследването на математическата логика. Janiszewski и Mazurkiewicz е създадена през Варшава до края на войната един от най-силните училища по математика в света. Водени от Janiszewski това училище е особено заинтересована в теория на множествата, както и основите на математиката. Lesniewski ентусиазъм се присъединиха Janiszewski "и училище по математика. През 1919 г. той прие председателя на философията на математиката и Варшава, където вече бе Lukasiewicz преподаване.

Различни математиците във Варшава, в това число Janiszewski, Mazurkiewicz и Lesniewski, изиграли важна роля в създаването на списание Fundamenta Mathematicae. Janiszewski които беше предложен от името на списанието през 1919, но Lesniewski е член на борда на оказване на влияние върху редакционната политика. Първият том се появяват през 1920 и, въпреки че намерението е за една наистина международни списания, редакторите са съвсем съзнателно решава да направи първия том съдържа документи само от полски автори. Janiszewski написа:

... това е моето намерение да представи, ако е възможно, всички полски математиците, работещи в областта на теория на множествата, на която списанието е посветен.

Lukasiewicz които ние, както бе посочено също така на служителите от Варшавския университет по това време, започва да си сътрудничи с Lesniewski. Lukasiewicz имаше значително влияние върху полски образование през този период той работи като за полския министър на образованието през 1919 и два пъти е ректор на Варшавския университет. През това време Lukasiewicz и Lesniewski основана на Варшавския институт по логика. Те се събраха кръгла тях внушителна група от студенти. Tarski е ученик на Lesniewski които помогнаха направи това училище международно известен като той напредва от студент към колега от Lesniewski и Lukasiewicz.

През 1927 Lesniewski публикува първата му важна работа върху основите на математиката. От тогава до 1939 той публикува поредица от статии дванадесет което му теории на логиката и математиката. Неговата теория е преодоляла на парадокси на Ръсел в теория на множествата. Редакцията на пише във въведението към тази работа:

За Lesniewski си публикации не са били единственият начин за публикуване на новата си система на основите на математиката. Той приложен голямо значение на неговия университетски лекции и той изнесе доклад почти изцяло за своя труд.

Тези лекции са дадени в. За щастие Tarski бе в състояние да направи известни на непубликувани резултати от Lesniewski, които са били унищожени през Втората световна война.

Авторът на твърди, че значението на Lesniewski Работата е в предоставянето на алтернатива на класическия подход към логика и основите на математиката. Lesniewski приноса на логиката се концентрират върху структурата на едно изречение, и той пледира за традиционната представа на присъда, както се състои от един обект, обект и copula. Неговата работа се концентрира върху математическата теория на множествата, когато му се отнасят до естеството на стаята. Lesniewski поставя основният акцент върху разликата между апарата в дистрибутивен смисъл и определя в колективен смисъл.

Lesniewski на мненията, разработени от него анализ на Ръсел "и парадокс, които той заключи, объркани две различни понятия от класа. Трите основни логически системи, които бяха разработени Lesniewski: Protothetic, една теория на предложения и Пропозиционални functors, подобно на власт на теорията на Пропозиционални видове, което осигурява разширена Пропозиционални смятане с количествено функционални променливи; онтология, която е axiomatised на общата теория на имената въз основа на protothetic, които могат да се характеризират като кръстоска между традиционните мандат модерен тип логика и теория, съдържащи освен единствено гледна точка, също е празен и множествено число условия и множество други интересни характеристики, както и Mereology, която е една аксиоматична разширяване на онтология за теория на класове, съвсем различен от теория на множествата предоставяне на официална теория на част и цяло, подобно на смятане на физическите лица.

Surma, Srzednicki, Barnett и Rickey като редакторите на сума до Lesniewski на вноски:

Становище Stanislaw Lesniewski е един от съ-основателите на полската школа на логика и автор на нова и изцяло оригинален системата на основите на логиката и математиката. Той е и предшественик и първоизточника на много идеи, включени като въпрос на курс по съвременни учебници на логика и на основите на математиката. Въпреки че Lesniewski играе значителна роля през периода на развитието на съвременната математическа логика и на основите на математиката, неговият системи не са толкова добре познати, тъй като те заслужават да бъдат и на факта, че му остава системи не са общоприети като инструмент в основният практика. Въпреки това, те са силно повлияни от много философия на математиката.

Source:School of Mathematics and Statistics University of St Andrews, Scotland