Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Alfred Tarski

Indice Alfred Tarski

Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.

72 relations: Algèbre de Boole (structure), Algèbre de Lindenbaum, Andrzej Mostowski, Anita Burdman Feferman, Auschwitz, Axiome du choix, Axiomes de Tarski, Berkeley (Californie), Californie, Cambridge (Massachusetts), Cambridge University Press, Campagne de Pologne (1939), Catholicisme, Cercle de Vienne, Corps algébriquement clos, Décidabilité, Denis Vernant, Doctorat honoris causa, Eva Kallin, Frédéric Nef, Gilles Gaston Granger, Hourya Benis Sinaceur, Institut Henri-Poincaré, Insurrection de Varsovie, Jacques Bouveresse, Jan Łukasiewicz, Jean-Paul Delahaye, Jean-Yves Béziau, Jon Barwise, Joseph Henry Woodger, Karl Popper, Kurt Gödel, Leon Chwistek, Logique mathématique, Métalangage, Mojżesz Presburger, Paradoxe de Banach-Tarski, Paradoxe du menteur, Paris, Philosophe, Pologne, Princeton (New Jersey), Problème d'algèbre de lycée de Tarski, Quadrature du cercle de Tarski, Rudolf Carnap, Sémantique, Sémantique formelle (logique), Seconde Guerre mondiale, Solomon Feferman, Stanisław Leśniewski, ..., Stefan Banach, Tarski's World, Théorème de Knaster-Tarski, Théorème de Tarski, Théorie de la vérité-correspondance, Théorie des ensembles, Théorie des modèles, Théorie sémantique de la vérité, Treillis (ensemble ordonné), Université d'Aix-Marseille, Université de Calgary, Université de Californie à Berkeley, Université de Lviv, Université de New York, Université de Santiago du Chili, Université de Varsovie, Université Harvard, University College de Londres, Varsovie, Vérité, 1929, 1933. Développer l'indice (22 plus) »

Algèbre de Boole (structure)

'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.

Nouveau!!: Alfred Tarski et Algèbre de Boole (structure) · Voir plus »

Algèbre de Lindenbaum

L'algèbre de Lindenbaum d'une théorie mathématique est l'ensemble des énoncés du langage de celle-ci modulo la relation d'équivalence suivante: deux énoncés A et B sont dans la même classe d'équivalence s'il est possible de démontrer dans la théorie que A a pour conséquence B et que B a pour conséquence A. La relation de conséquence logique sur les énoncés, qui est compatible avec la relation d'équivalence, induit par quotient une relation d'ordre sur l'algèbre de Lindenbaum.

Nouveau!!: Alfred Tarski et Algèbre de Lindenbaum · Voir plus »

Andrzej Mostowski

Andrzej Mostowski (–) est un mathématicien polonais.

Nouveau!!: Alfred Tarski et Andrzej Mostowski · Voir plus »

Anita Burdman Feferman

Anita Burdman Feferman (-) est une historienne des mathématiques et biographe américaine, connue pour ses biographies de Jean van Heijenoort et (avec son mari, le logicien Solomon Feferman) d'Alfred Tarski.

Nouveau!!: Alfred Tarski et Anita Burdman Feferman · Voir plus »

Auschwitz

Localisation des centres d'extermination nazis. Auschwitz (en Konzentrationslager Auschwitz, « camp de concentration d'Auschwitz ») est le plus grand complexe concentrationnaire du Troisième Reich, à la fois camp de concentration et centre d'extermination.

Nouveau!!: Alfred Tarski et Auschwitz · Voir plus »

Axiome du choix

Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.

Nouveau!!: Alfred Tarski et Axiome du choix · Voir plus »

Axiomes de Tarski

Les axiomes de Tarski, dus à Alfred Tarski, sont un système d'axiomes pour la géométrie euclidienne exprimé en logique du premier ordre.

Nouveau!!: Alfred Tarski et Axiomes de Tarski · Voir plus »

Berkeley (Californie)

Berkeley (en anglais) est une ville de l'agglomération de San Francisco, dans l'État de Californie, aux États-Unis.

Nouveau!!: Alfred Tarski et Berkeley (Californie) · Voir plus »

Californie

La Californie (en anglais et en espagnol) est un État des États-Unis qui fait partie de la région de la Sun Belt dans l’Ouest américain.

Nouveau!!: Alfred Tarski et Californie · Voir plus »

Cambridge (Massachusetts)

Cambridge (en anglais) est une ville située dans l'État du Massachusetts, aux États-Unis, dans le comté de Middlesex.

Nouveau!!: Alfred Tarski et Cambridge (Massachusetts) · Voir plus »

Cambridge University Press

Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.

Nouveau!!: Alfred Tarski et Cambridge University Press · Voir plus »

Campagne de Pologne (1939)

La campagne de la Pologne, également connue sous le nom de campagne de septembre (en) ou guerre défensive de 1939 (en) en Pologne, et invasion de la Pologne (en) ou plan Blanc (en) en Allemagne, est une opération militaire déclenchée par l'Allemagne avec l'appui de la ville libre de Dantzig et d'un contingent slovaque, et par l'Union soviétique, dans le but d'envahir et de partager la Pologne.

Nouveau!!: Alfred Tarski et Campagne de Pologne (1939) · Voir plus »

Catholicisme

Le catholicisme est la religion des chrétiens reconnaissant l’autorité du pape et des évêques en communion avec lui, notamment pour l’établissement de leur doctrine, sa transmission et l’organisation de leur culte.

Nouveau!!: Alfred Tarski et Catholicisme · Voir plus »

Cercle de Vienne

Le cercle de Vienne, ou Wiener Kreis, est un groupement de savants et philosophes.

Nouveau!!: Alfred Tarski et Cercle de Vienne · Voir plus »

Corps algébriquement clos

En mathématiques, un corps commutatif K est dit algébriquement clos si tout polynôme de degré supérieur ou égal à un, à coefficients dans K, admet (au moins) une racine dans K. Autrement dit, c'est un corps qui n'a pas d'extension algébrique propre.

Nouveau!!: Alfred Tarski et Corps algébriquement clos · Voir plus »

Décidabilité

En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.

Nouveau!!: Alfred Tarski et Décidabilité · Voir plus »

Denis Vernant

Denis Vernant (né le à Ravensbourg, Bade-Wurtemberg) est un philosophe français, professeur émérite à l'université Grenoble-Alpes.

Nouveau!!: Alfred Tarski et Denis Vernant · Voir plus »

Doctorat honoris causa

Maurice Ravel en toge de docteur ''honoris causa'' de l'université d'Oxford, en 1928. J. K. Rowling recevant son doctorat ''honoris causa'' à l'université d'Aberdeen, en 2006. Un doctorat honoris causa (doctorat honorifique au Canada), ou titre de docteur honoris causa (du latin causa, qui exprime le but, précédé du génitif de honor, honoris, l'honneur: « pour l'honneur », honorifique) est un titre honorifique décerné par une université ou une faculté à une personnalité éminente.

Nouveau!!: Alfred Tarski et Doctorat honoris causa · Voir plus »

Eva Kallin

Eva Marianne Kallin Pohlmann est une mathématicienne américaine, professeure émérite de mathématiques à l'université Brown.

Nouveau!!: Alfred Tarski et Eva Kallin · Voir plus »

Frédéric Nef

Frédéric Nef, né le, est un philosophe français, travaillant sur la logique et sur les questions de la métaphysique.

Nouveau!!: Alfred Tarski et Frédéric Nef · Voir plus »

Gilles Gaston Granger

Gilles Gaston Granger, né le à Paris et mort le, est un épistémologue et philosophe rationaliste français spécialiste d'épistémologie comparative.

Nouveau!!: Alfred Tarski et Gilles Gaston Granger · Voir plus »

Hourya Benis Sinaceur

Hourya Benis Sinaceur est une philosophe et mathématicienne franco-marocaine née en 1940 à Casablanca.

Nouveau!!: Alfred Tarski et Hourya Benis Sinaceur · Voir plus »

Institut Henri-Poincaré

L’Institut Henri Poincaré (IHP) est un institut de recherches mathématiques du CNRS et de Sorbonne Université situé au cœur du « campus Curie » dans le arrondissement de Paris, sur la montagne Sainte-Geneviève.

Nouveau!!: Alfred Tarski et Institut Henri-Poincaré · Voir plus »

Insurrection de Varsovie

Linsurrection de Varsovie est un soulèvement armé contre l'occupant allemand organisé par la résistance polonaise dans le cadre du plan militaire national « opération ''Tempête'' » (Burza en polonais), qui dure du au.

Nouveau!!: Alfred Tarski et Insurrection de Varsovie · Voir plus »

Jacques Bouveresse

Jacques Bouveresse, né le à Épenoy (Doubs) et mort le à Paris (12e), est un philosophe français.

Nouveau!!: Alfred Tarski et Jacques Bouveresse · Voir plus »

Jan Łukasiewicz

Jan Łukasiewicz, né le à Léopol et mort le à Dublin, est un philosophe et logicien polonais, connu pour sa critique du principe de contradiction d'Aristote.

Nouveau!!: Alfred Tarski et Jan Łukasiewicz · Voir plus »

Jean-Paul Delahaye

Jean-Paul Delahaye est un informaticien et mathématicien français né à Saint-Mandé (Seine) le.

Nouveau!!: Alfred Tarski et Jean-Paul Delahaye · Voir plus »

Jean-Yves Béziau

Jean-Yves Béziau, né le 15 janvier 1965 à Orléans, est un logicien et philosophe français et suisse, professeur et chercheur au Conseil brésilien de la recherche - Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) - à l'université fédérale de Rio de Janeiro.

Nouveau!!: Alfred Tarski et Jean-Yves Béziau · Voir plus »

Jon Barwise

Kenneth Jon Barwise (1942-2000) est un mathématicien, philosophe et logicien américain.

Nouveau!!: Alfred Tarski et Jon Barwise · Voir plus »

Joseph Henry Woodger

Joseph Henry Woodger (–) est un biologiste théoricien et philosophe de la biologie britannique dont les tentatives visant à rendre les sciences biologiques plus rigoureuses et empiriques ont eu une influence significative sur la philosophie de la biologie du XXe siècle.

Nouveau!!: Alfred Tarski et Joseph Henry Woodger · Voir plus »

Karl Popper

Karl Popper, né le à Vienne en Autriche et mort le à Londres (Croydon) au Royaume-Uni, est un enseignant et philosophe des sciences du, autrichien naturalisé britannique.

Nouveau!!: Alfred Tarski et Karl Popper · Voir plus »

Kurt Gödel

Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.

Nouveau!!: Alfred Tarski et Kurt Gödel · Voir plus »

Leon Chwistek

Witkacy, 1913 Leon Chwistek, né le à Cracovie et mort le  à Barvikha près de Moscou, est un peintre, philosophe et mathématicien polonais.

Nouveau!!: Alfred Tarski et Leon Chwistek · Voir plus »

Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.

Nouveau!!: Alfred Tarski et Logique mathématique · Voir plus »

Métalangage

Un métalangage est un formalisme conçu pour décrire rigoureusement un langage.

Nouveau!!: Alfred Tarski et Métalangage · Voir plus »

Mojżesz Presburger

Mojżesz Presburger (1904 - 1943) est un mathématicien polonais, logicien et philosophe.

Nouveau!!: Alfred Tarski et Mojżesz Presburger · Voir plus »

Paradoxe de Banach-Tarski

Illustration du paradoxe de Banach-TarskiEn mathématiques, et plus précisément en géométrie, le paradoxe de Banach-Tarski est un théorème, démontré en 1924 par Stefan Banach et Alfred Tarski, qui affirme qu'il est possible de découper une boule de l'espace usuel en un nombre fini de morceaux et de réassembler ces morceaux pour former deux boules identiques à la première, à un déplacement près.

Nouveau!!: Alfred Tarski et Paradoxe de Banach-Tarski · Voir plus »

Paradoxe du menteur

En philosophie et en logique mathématique, le paradoxe du menteur est un paradoxe dérivé du paradoxe du Crétois (ou paradoxe d'Épiménide).

Nouveau!!: Alfred Tarski et Paradoxe du menteur · Voir plus »

Paris

Paris (Prononciation en français de France retranscrite selon la norme API.) est la capitale de la France.

Nouveau!!: Alfred Tarski et Paris · Voir plus »

Philosophe

Un philosophe (du grec ancien, en latin philosophus) est une personne qui pratique la philosophie.

Nouveau!!: Alfred Tarski et Philosophe · Voir plus »

Pologne

La Pologne, en forme longue république de Pologne (Rzeczpospolita Polska), est un État d'Europe centrale, frontalier avec l'Allemagne à l'ouest, la Tchéquie au sud-ouest, la Slovaquie au sud, l'Ukraine à l'est-sud-est et la Biélorussie à l'est-nord-est, et enfin l'enclave russe de Kaliningrad et la Lituanie au nord-est.

Nouveau!!: Alfred Tarski et Pologne · Voir plus »

Princeton (New Jersey)

Princeton est une ville américaine du New Jersey se trouvant dans le comté de Mercer.

Nouveau!!: Alfred Tarski et Princeton (New Jersey) · Voir plus »

Problème d'algèbre de lycée de Tarski

En logique mathématique, le problème d'algèbre de lycée de Tarski est une question posée par Alfred Tarski.

Nouveau!!: Alfred Tarski et Problème d'algèbre de lycée de Tarski · Voir plus »

Quadrature du cercle de Tarski

En mathématiques, et plus précisément en géométrie plane, le problème de quadrature du cercle de Tarski, posé par Alfred Tarski en 1925, consiste à déterminer s'il est possible de découper un disque du plan en un nombre fini de morceaux et de les réassembler pour obtenir un carré d'aire égale.

Nouveau!!: Alfred Tarski et Quadrature du cercle de Tarski · Voir plus »

Rudolf Carnap

Rudolf Carnap, né le à Ronsdorf et mort le à Santa Monica, est un philosophe allemand naturalisé américain en 1941.

Nouveau!!: Alfred Tarski et Rudolf Carnap · Voir plus »

Sémantique

La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).

Nouveau!!: Alfred Tarski et Sémantique · Voir plus »

Sémantique formelle (logique)

En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction.

Nouveau!!: Alfred Tarski et Sémantique formelle (logique) · Voir plus »

Seconde Guerre mondiale

La Seconde Guerre mondiale, ou Deuxième Guerre mondiale, est un conflit armé à l'échelle planétaire qui dure du au.

Nouveau!!: Alfred Tarski et Seconde Guerre mondiale · Voir plus »

Solomon Feferman

Solomon Feferman (-) est un philosophe et mathématicien américain actif en logique mathématique.

Nouveau!!: Alfred Tarski et Solomon Feferman · Voir plus »

Stanisław Leśniewski

Stanisław Leśniewski (–) est un mathématicien, philosophe et logicien polonais qui a contribué à créer et développer l'École de Lvov-Varsovie.

Nouveau!!: Alfred Tarski et Stanisław Leśniewski · Voir plus »

Stefan Banach

Stefan Banach (1892-1945) est un mathématicien polonais, fondateur de l'École mathématique de Lwów et l'un des mathématiciens les plus influents du.

Nouveau!!: Alfred Tarski et Stefan Banach · Voir plus »

Tarski's World

Tarski's world est un livre accompagné d'un logiciel pédagogique pour enseigner la logique du premier ordre.

Nouveau!!: Alfred Tarski et Tarski's World · Voir plus »

Théorème de Knaster-Tarski

Le théorème de Knaster-Tarski est un théorème de point fixe pour une application croissante d'un treillis complet dans lui-même.

Nouveau!!: Alfred Tarski et Théorème de Knaster-Tarski · Voir plus »

Théorème de Tarski

En logique mathématique, le théorème de Tarski, ou théorème de non définissabilité de Tarski, s'énonce informellement ainsi:On ne peut définir dans le langage de l'arithmétique la vérité des énoncés de ce langage.

Nouveau!!: Alfred Tarski et Théorème de Tarski · Voir plus »

Théorie de la vérité-correspondance

Le théorie de la vérité-correspondance ou correspondantisme est une conception épistémologique selon laquelle la vérité ou la fausseté d'une proposition dépend de ses rapports avec le monde: une proposition sera dite vraie si elle décrit adéquatement un état de choses « réel », par Marian David.

Nouveau!!: Alfred Tarski et Théorie de la vérité-correspondance · Voir plus »

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.

Nouveau!!: Alfred Tarski et Théorie des ensembles · Voir plus »

Théorie des modèles

La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.

Nouveau!!: Alfred Tarski et Théorie des modèles · Voir plus »

Théorie sémantique de la vérité

Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases.

Nouveau!!: Alfred Tarski et Théorie sémantique de la vérité · Voir plus »

Treillis (ensemble ordonné)

En mathématiques, un treillis est une des structures algébriques utilisées en algèbre générale.

Nouveau!!: Alfred Tarski et Treillis (ensemble ordonné) · Voir plus »

Université d'Aix-Marseille

L'université d'Aix-Marseille est une université française généraliste, implantée à Marseille et à Aix-en-Provence, possédant également des implantations dans d'autres villes de la région Provence-Alpes-Côte d'Azur.

Nouveau!!: Alfred Tarski et Université d'Aix-Marseille · Voir plus »

Université de Calgary

L’Université de Calgary (en anglais, University of Calgary: UofC) est une université canadienne située à Calgary, en Alberta.

Nouveau!!: Alfred Tarski et Université de Calgary · Voir plus »

Université de Californie à Berkeley

L'université de Californie à Berkeley (en anglais University of California, Berkeley), aussi appelée UC Berkeley, Berkeley, ou Cal, est une université publique américaine, située à Berkeley en Californie, sur la rive est de la baie de San Francisco.

Nouveau!!: Alfred Tarski et Université de Californie à Berkeley · Voir plus »

Université de Lviv

L'université nationale Ivan-Franko de Lviv (en Львівський національний університет імені Івана Франка) est une université publique qui se trouve à Lviv, dans l'Ouest de l'Ukraine.

Nouveau!!: Alfred Tarski et Université de Lviv · Voir plus »

Université de New York

L'université de New York (en anglais: New York University: NYU, anciennement University of the City of New York) est une université privée américaine située à New York.

Nouveau!!: Alfred Tarski et Université de New York · Voir plus »

Université de Santiago du Chili

L'université de Santiago du Chili (en espagnol: Universidad de Santiago de Chile) est l'une des seize universités chiliennes.

Nouveau!!: Alfred Tarski et Université de Santiago du Chili · Voir plus »

Université de Varsovie

L'université de Varsovie est une université publique polonaise fondée en 1816.

Nouveau!!: Alfred Tarski et Université de Varsovie · Voir plus »

Université Harvard

Luniversité Harvard, ou plus simplement Harvard, est une université privée américaine située à Cambridge, ville de l'agglomération de Boston, dans le Massachusetts.

Nouveau!!: Alfred Tarski et Université Harvard · Voir plus »

University College de Londres

L'University College de Londres, couramment abrégé « UCL », est une prestigieuse université britannique, la plus ancienne de Londres.

Nouveau!!: Alfred Tarski et University College de Londres · Voir plus »

Varsovie

Varsovie (prononcé) est depuis 1596 la capitale de la Pologne et depuis 1999 le chef-lieu de la voïvodie de Mazovie.

Nouveau!!: Alfred Tarski et Varsovie · Voir plus »

Vérité

Walter Seymour Allward, ''Veritas'', 1920 ''Nec mergitur'' ou ''La Vérité sortant du puits'', toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère.

Nouveau!!: Alfred Tarski et Vérité · Voir plus »

1929

L'année 1929 est une année commune qui commence un mardi.

Nouveau!!: Alfred Tarski et 1929 · Voir plus »

1933

L'année 1933 est une année commune qui commence un dimanche.

Nouveau!!: Alfred Tarski et 1933 · Voir plus »

Redirections ici:

Tarski.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »