Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Stanislaw Lesniewski

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

30 March 1886

Serpukhov (near Ivanovo-Vosniesiensk), Russia

13 May 1939

Warsaw, Poland

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Stanislaw Lesniewski 's nom doit être écrit que Le niewski mais est généralement translittérée comme Lesniewski et nous allons utiliser cette forme tout au long de cet article. Lesniewski le père a été Isydor Lesniewski, un ingénieur des chemins de fer polonais. Il a été un travail qui implique Isydor Lesniewski d'être envoyés dans des endroits où les chemins de fer ont été construits et au moment où a été Stanislaw fréquenter l'école secondaire de la famille vivaient en Sibérie. Stanislaw il fréquenté l'école dans la ville d'Irkoutsk.

Il a étudié dans plusieurs universités, passé quelque temps à Munich où il a assisté à des conférenciers de Hans Cornelius, avant de prendre son doctorat à l'Université polonaise de Lwów (aujourd'hui Lvov, en Ukraine, mais alors sous le contrôle de l'Autriche). En Lwów il a étudié principalement la philosophie et de mathématiques a également pris des cours, assister à des conférences données par des mathématiques Jozef Puzyna et Waclaw Sierpinski. Lesniewski, dont le directeur de thèse était Kazimierz Twardowski, a publié les deux documents Une contribution à l'analyse existentielle de propositions et une tentative de preuve ontologique du principe de contradiction tout en continuant son entreprise de recherche de doctorat. Ces documents ont été publiés dans Lesniewski la langue maternelle de polonais, mais en 1913 une traduction Russe des deux documents a été publié sous le titre unique logique études. Son doctorat a été décerné en 1912.

A cette époque, Jan Lukasiewicz a enseigné à Lwów, la promotion de Privatdozent de professeur extraordinaire en 1911, et il a grandement influencé Lesniewski dans le premier cours sur la logique mathématique qui a donné là-bas. Une façon, en particulier, que cette influence a été exercée sur le droit des exclus milieu. L'un des Lesniewski la première projets a été de tenter de réfuter ce principe, mais Lukasiewicz a publié une annexe à son 1910 Publication sur le principe de la contraction de la Aristote qui a causé Lesniewski de changement à la direction de ses recherches. Il a commencé à étudier la logique formelle et a commencé à faire des tentatives pour comprendre Russell 's paradoxe dont il avait appris par le biais de Lukasiewicz.

En 1913, Lesniewski publié un article sur la loi du milieu exclu, puis l'année suivante une publication sur Russell 's paradoxe. Il a quitté Lwów de prendre un poste de professeur à Varsovie une école, mais après le début de la Première Guerre mondiale, il a pris la décision de retourner en Russie, 1914-18, il a passé à Moscou, où il a enseigné à une école secondaire polonaise. Bien qu'il ait présenté ses premières idées sur une nouvelle théorie de classes qui permettrait d'éviter les paradoxes alors qu'il se trouvait à Lwów, il a été pendant son séjour à Moscou que Lesniewski publié son théorie formelle appelé mereology. Nous donnons quelques détails techniques de cette théorie ci-dessous.

Dès que la Pologne a été libéré à la fin de la guerre, Lesniewski retourné à Varsovie. Là, il a commencé à s'impliquer davantage dans l'étude de la logique mathématique. Janiszewski et Mazurkiewicz a créé à Varsovie d'ici la fin de la guerre un des plus importants écoles de mathématiques dans le monde. Dirigé par Janiszewski cette école a été particulièrement intéressés dans la série théorie, et les fondements des mathématiques. Lesniewski se sont joints avec enthousiasme Janiszewski l 'école de mathématiques. En 1919, il a accepté la présidence de la philosophie des mathématiques à Varsovie, où Lukasiewicz est déjà l'enseignement.

Divers mathématiciens à Varsovie, y compris Janiszewski, Mazurkiewicz et Lesniewski, a joué un rôle majeur dans la mise en place de la revue Fundamenta Mathematicae. Il Janiszewski qui a été proposé le nom de la revue en 1919 mais Lesniewski a été membre du comité éditorial influer sur les politiques. Le premier volume paru en 1920 et, bien que l'intention était vraiment pour une revue internationale, les éditeurs ont délibérément décidé de faire le premier volume contient des articles rédigés par des auteurs polonais. Janiszewski a écrit:

... il est de mon intention de présenter, si possible, tous les mathématiciens polonais travaillant dans le domaine de la théorie des ensembles, à laquelle la revue est consacré.

Lukasiewicz qui comme nous l'avons mentionné était également sur le personnel à l'Université de Varsovie à ce moment-là, ont commencé à collaborer avec Lesniewski. Lukasiewicz a une influence considérable sur l'éducation polonais au cours de cette période car il a servi comme ministre polonais de l'éducation en 1919 et a été deux fois recteur de l'Université de Varsovie. Pendant ce temps, Lukasiewicz et Lesniewski Varsovie a fondé l'école de la logique. Ils se sont réunis leur tour un groupe impressionnant d'étudiants. Tarski était un élève de Lesniewski qui aidé à faire de cette école de renommée internationale comme il l'a progressé de collègue étudiant de Lesniewski et de Lukasiewicz.

En 1927, Lesniewski publie son premier travail important sur les fondements des mathématiques. Dès lors, jusqu'en 1939, il a publié une série de douze documents donnant ses théories de la logique et les mathématiques. Ses théories à surmonter les paradoxes de Russell en théorie des ensembles. Les rédacteurs de rédiger dans l'introduction à ce travail:

Pour Lesniewski ses publications n'étaient pas le seul moyen de publier son nouveau système des fondements des mathématiques. Il attache une grande importance à son université des conférences et il a enseigné presque entièrement sur son propre travail.

Ces conférences sont données dans le domaine. Heureusement Tarski a été en mesure de faire connaître les résultats non publiés de Lesniewski qui ont été détruits pendant la Seconde Guerre mondiale.

L'auteur fait valoir que de l'importance de Lesniewski de travail est de fournir une alternative à l'approche classique à la logique et les fondements des mathématiques. Lesniewski contributions à la logique concentrer sur la structure d'une phrase, et il plaide pour l'idée traditionnelle d'une phrase composée d'un objet, un objet et un dôme. Ses travaux mathématiques se concentre sur la théorie des ensembles, où sa préoccupation est la nature d'un ensemble. Lesniewski met l'accent sur la distinction entre les séries dans le sens de distribution et fixe dans le sens collectif.

Lesniewski le point de vue développé à partir de son analyse de Russell 's paradoxe qui at-il conclu confondre deux notions différentes de la classe. Les trois principaux systèmes logiques qui ont été développés Lesniewski: Protothetic, une théorie de propositions et des propositions foncteurs, semblable au pouvoir à une théorie des types de proposition, en fournissant une longue calcul propositionnel quantifiés fonctionnelle avec variables; d'ontologies, qui est un axiomatised théorie des noms communs fondée sur protothetic mai qui peut être caractérisé comme un croisement entre la logique traditionnelle et moderne de la théorie des types, contenant, en plus singulier, aussi vide et à la pluralité des termes et une foule d'autres caractéristiques intéressantes, et Mereology, qui est une extension de soi pour une ontologie la théorie des classes tout à fait différente de théorie des ensembles fournir une théorie formelle de la partie et l'ensemble similaires à calcul des individus.

Surma, Srzednicki, Barnett et Rickey que les éditeurs de résumer les contributions de Lesniewski:

Stanislaw Lesniewski a été un des co-fondateurs de l'école polonaise de la logique et l'auteur d'un tout nouveau et original système des fondements de la logique et les mathématiques. Il a également été le précurseur et initiateur de nombreuses idées comme une question de cours dans les manuels modernes de la logique et les fondements des mathématiques. Bien que Lesniewski joué un rôle considérable pendant la période de développement moderne de la logique mathématique et des fondements des mathématiques, ses systèmes ne sont pas aussi bien connu comme elles méritent d'être et le fait demeure pas moins que ses systèmes ne sont généralement pas acceptés comme un outil dans la la pratique de fondation. Néanmoins, ils ont grandement influencé la philosophie des mathématiques.

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