Accès plus rapide que le navigateur!
134 relations: Adolf Lindenbaum, Albert Lautman, Algèbre cylindrique, Algèbre de Lindenbaum, Algebra Universalis, Amicus Plato, sed magis amica veritas, Andrzej Ehrenfeucht, Anita Burdman Feferman, Arithmétique vraie, Axiomes de Tarski, École de Lvov-Varsovie, École mathématique de Lwów, École mathématique de Varsovie, Bertrand Russell, Bjarni Jónsson, Calcul des prédicats, Cardinal inaccessible, Carol Karp, Cercle de Vienne, Chen Chung Chang, Chronologie de l'algèbre, Classe (mathématiques), Cohérence (logique), Colloquium Lectures (AMS), Complétude, Conférences Tarski, Corps réel clos, Culture de la Pologne, Décès en 1983, Décidabilité, Déduction logique, Empirisme logique, Ensemble fini, Ensemble infini, Espace polonais, Eva Kallin, Evert Willem Beth, Extension linéaire, Formule propositionnelle, Gisbert Hasenjaeger, Gottlob Frege, Griffith C. Evans, Groupe (mathématiques), Groupe abélien, Groupe abélien fini, Hartry Field, Henry Perigal, Histoire de la géométrie, Histoire des notations mathématiques, Hourya Benis Sinaceur, ..., Howard Jerome Keisler, Hyperopération, Iégor Reznikoff, Institut polonais des arts et des sciences de l'Amérique, Interprétation (logique), Jaakko Hintikka, Jan Łukasiewicz, Jan Woleński, Janvier 1902, Jean Cavaillès, Jean van Heijenoort, Joseph Henry Woodger, Julia Robinson, Karl Popper, Kazimierz Kuratowski, Kurt Gödel, Langage humain, Leon Chwistek, Liste de personnes par nombre d'Erdős, Liste de philosophes du langage, Liste de philosophes par année de naissance, Liste des conférences plénières des congrès internationaux des mathématiciens, Liste des orateurs du Congrès international des mathématiciens, Logique algébrique, Logique de Łukasiewicz, Logique mathématique, Logique paracohérente, Mario Pieri, Matrice (mathématiques), Méréologie, Mojżesz Presburger, Monatshefte für Mathematik, Naissance en 1901, Octobre 1983, Ordinal de Hartogs, Paradoxe de Banach-Tarski, Paradoxe de von Neumann, Philosophie, Philosophie analytique, Philosophie des mathématiques, Pologne, Problème d'algèbre de lycée de Tarski, Problème du mot, Quadrature du cercle, Quadrature du cercle de Tarski, Réfutabilité, Relation binaire, Richard Montague, Robert Lawson Vaught, Roger Lyndon, Rudolf Carnap, Saul Kripke, Sémantique, Sémantique de la théorie de la preuve, Sémantique formelle (logique), Scientifiques ayant du quitter l'Europe à cause des lois raciales, Solomon Feferman, Stanisław Leśniewski, Stéphane Lupasco, Stefan Banach, Tadeusz Kotarbiński, Tarski's World, Théorème de Herbrand, Théorème de Knaster-Tarski, Théorème de Tarski, Théorèmes d'incomplétude de Gödel, Théorie de la vérité-correspondance, Théorie des ensembles, Théorie des modèles, Théorie sémantique de la vérité, Variable (mathématiques), Varsovie, Vérité, Vérité scientifique, Willard Van Orman Quine, William Lawvere, (13672) Tarski, 14 janvier, 1901 en science, 1902 en philosophie, 1924 en science, 1933 en philosophie, 1983 en science, 26 octobre. Développer l'indice (84 plus) »
Adolf Lindenbaum
Adolf Lindenbaum, né le à Varsovie et mort assassiné par les Allemands en 1941 à Paneriai, est un logicien et mathématicien polonais lié à l'École de Lvov-Varsovie.
Nouveau!!: Alfred Tarski et Adolf Lindenbaum · Voir plus »
Albert Lautman
Albert Lautman, né à Paris le et fusillé au camp de Souge le, est un philosophe des mathématiques et résistant français.
Nouveau!!: Alfred Tarski et Albert Lautman · Voir plus »
Algèbre cylindrique
En mathématiques, la notion d'algèbre cylindrique, inventée par Alfred Tarski, est survenue naturellement dans l'algébrisation de la logique du premier ordre équationnelle.
Nouveau!!: Alfred Tarski et Algèbre cylindrique · 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 »
Algebra Universalis
Algebra Universalis est une revue mathématique à comité de lecture centrée sur l'algèbre universelle et la théorie des treillis.
Nouveau!!: Alfred Tarski et Algebra Universalis · Voir plus »
Amicus Plato, sed magis amica veritas
Amicus Plato, sed magis amica veritas (en grec ancien: Φίλος μεν Πλάτων, φιλoτέρα δε ἀλήθεια) est un proverbe latin signifiant:.
Nouveau!!: Alfred Tarski et Amicus Plato, sed magis amica veritas · Voir plus »
Andrzej Ehrenfeucht
Andrzej Ehrenfeucht (né le à Vilnius) est un mathématicien et informaticien théoricien américain d'origine polonaise.
Nouveau!!: Alfred Tarski et Andrzej Ehrenfeucht · 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 »
Arithmétique vraie
En logique mathématique, l'arithmétique vraie est l'ensemble de toutes les propositions vraies sur l'arithmétique des entiers naturels (Boolos, Burgess et Jeffrey 2002: 295).
Nouveau!!: Alfred Tarski et Arithmétique vraie · 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 »
École de Lvov-Varsovie
L'École de Lvov-Varsovie (Szkoła lwowsko-warszawska) appelée parfois École philosophique de Lwów et de Varsovie, École logique et philosophique de Lwów et de Varsovie ou encore École logique et mathématique de Lwów-Varsovie est une école intellectuelle polonaise qui s'est développée autour de l’activité d’enseignement de Kazimierz Twardowski et de ses disciples de la fin du jusqu’à la Seconde Guerre mondiale.
Nouveau!!: Alfred Tarski et École de Lvov-Varsovie · Voir plus »
École mathématique de Lwów
L'École mathématique de Lwów (en polonais: Lwowska szkoła matematyczna) est un groupe de mathématiciens polonais travaillant dans la période de l'entre-deux-guerres à l'Université Jean-Casimir et à l'Ecole polytechnique à Lwów (aujourd'hui la ville de Lviv est en Ukraine).
Nouveau!!: Alfred Tarski et École mathématique de Lwów · Voir plus »
École mathématique de Varsovie
L'École mathématique de Varsovie (Warszawska szkoła matematyczna) était un groupe de mathématiciens polonais de Varsovie qui ont été actifs entre les deux guerres, tout particulièrement dans les domaines de la logique, la théorie des ensembles, la topologie et l'analyse réelle.
Nouveau!!: Alfred Tarski et École mathématique de Varsovie · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Alfred Tarski et Bertrand Russell · Voir plus »
Bjarni Jónsson
Bjarni Jónsson (1920-2016) est un mathématicien islandais qui travaille dans les champs de la logique, l'algèbre universelle et de la théorie des treillis.
Nouveau!!: Alfred Tarski et Bjarni Jónsson · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Alfred Tarski et Calcul des prédicats · Voir plus »
Cardinal inaccessible
En mathématiques, et plus précisément en théorie des ensembles, un cardinal inaccessible est un cardinal ne pouvant être construit à partir de cardinaux plus petits à l'aide des axiomes de ZFC; cette propriété fait qu'un cardinal inaccessible est un grand cardinal.
Nouveau!!: Alfred Tarski et Cardinal inaccessible · Voir plus »
Carol Karp
Carol Karp, née Carol Ruth Vander Velde le à Forest Grove comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le au Maryland, est une mathématicienne américaine.
Nouveau!!: Alfred Tarski et Carol Karp · 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 »
Chen Chung Chang
Chen Chung Chang est un mathématicien américain spécialisé en théorie des modèles.
Nouveau!!: Alfred Tarski et Chen Chung Chang · Voir plus »
Chronologie de l'algèbre
Le tableau de cette page fournit une chronologie sommaire des moments clefs dans le développement de l'algèbre.
Nouveau!!: Alfred Tarski et Chronologie de l'algèbre · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Alfred Tarski et Classe (mathématiques) · Voir plus »
Cohérence (logique)
En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction: il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie: celle-ci possède des réalisations qui lui donnent un sens.
Nouveau!!: Alfred Tarski et Cohérence (logique) · Voir plus »
Colloquium Lectures (AMS)
La Conférence du Colloque de l'American Mathematical Society est une session annuelle spéciale de conférences, la dernière de la session de printemps de la Société.
Nouveau!!: Alfred Tarski et Colloquium Lectures (AMS) · Voir plus »
Complétude
La notion de complétude est utilisée dans plusieurs domaines scientifiques.
Nouveau!!: Alfred Tarski et Complétude · Voir plus »
Conférences Tarski
Les Conférences Tarski de l'université de Californie à Berkeley sont une distinction en logique mathématique décernée en hommage à Alfred Tarski.
Nouveau!!: Alfred Tarski et Conférences Tarski · Voir plus »
Corps réel clos
En mathématiques, un corps réel clos est un corps totalement ordonnable dont aucune extension algébrique propre n'est totalement ordonnable.
Nouveau!!: Alfred Tarski et Corps réel clos · Voir plus »
Culture de la Pologne
Basilique de Kalwaria Zebrzydowska La culture de la Pologne, pays de l'Europe centrale, désigne d'abord les pratiques culturelles observables de ses habitants (38,4 millions selon une estimation de 2017).
Nouveau!!: Alfred Tarski et Culture de la Pologne · Voir plus »
Décès en 1983
Cette page dresse une liste de personnalités mortes au cours de l'année 1983 présentée dans l'ordre chronologique.
Nouveau!!: Alfred Tarski et Décès en 1983 · 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 »
Déduction logique
La déduction logique est un type de relation que l'on rencontre en logique mathématique.
Nouveau!!: Alfred Tarski et Déduction logique · Voir plus »
Empirisme logique
L'empirisme logique (parfois nommé positivisme logique, néo-positivisme, ou empirisme rationnel) est une école philosophique principalement illustrée par le Cercle de Vienne, fondée par un groupe réunissant des scientifiques et philosophes viennois dans les années 1920.
Nouveau!!: Alfred Tarski et Empirisme logique · Voir plus »
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Nouveau!!: Alfred Tarski et Ensemble fini · Voir plus »
Ensemble infini
En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers.
Nouveau!!: Alfred Tarski et Ensemble infini · Voir plus »
Espace polonais
En mathématiques, un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet.
Nouveau!!: Alfred Tarski et Espace polonais · 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 »
Evert Willem Beth
Evert Willem Beth (-) est un philosophe et logicien néerlandais dont les travaux concernent essentiellement les fondements des mathématiques.
Nouveau!!: Alfred Tarski et Evert Willem Beth · Voir plus »
Extension linéaire
Dans la branche des mathématiques de la théorie des ordres, une extension linéaire d'un ordre partiel est un ordre total (ou ordre linéaire) qui est compatible avec l'ordre partiel.
Nouveau!!: Alfred Tarski et Extension linéaire · Voir plus »
Formule propositionnelle
En logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles.
Nouveau!!: Alfred Tarski et Formule propositionnelle · Voir plus »
Gisbert Hasenjaeger
Gisbert F. R. Hasenjaeger (–) est un mathématicien et logicien allemand.
Nouveau!!: Alfred Tarski et Gisbert Hasenjaeger · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Alfred Tarski et Gottlob Frege · Voir plus »
Griffith C. Evans
Griffith Conrad Evans (-) est un mathématicien américain.
Nouveau!!: Alfred Tarski et Griffith C. Evans · Voir plus »
Groupe (mathématiques)
Les manipulations possibles du ''Rubik's Cube'' forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale.
Nouveau!!: Alfred Tarski et Groupe (mathématiques) · Voir plus »
Groupe abélien
En mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative.
Nouveau!!: Alfred Tarski et Groupe abélien · Voir plus »
Groupe abélien fini
En mathématiques et plus précisément en algèbre, un groupe abélien fini est un groupe à la fois commutatif et fini.
Nouveau!!: Alfred Tarski et Groupe abélien fini · Voir plus »
Hartry Field
Hartry H. Field (né en 1946) est professeur de philosophie à l'université de New York et un des principaux contributeurs contemporain à la philosophie du langage, philosophie de l'esprit et philosophie des mathématiques.
Nouveau!!: Alfred Tarski et Hartry Field · Voir plus »
Henry Perigal
Henry Perigal, Jr. FRAS MRI (–) était un agent de change et mathématicien amateur britannique, connu pour sa démonstration du théorème de Pythagore par dissection et de sa croyance non-orthodoxe que la lune ne tourne pas.
Nouveau!!: Alfred Tarski et Henry Perigal · Voir plus »
Histoire de la géométrie
XIV, contrepoinçon d'une lettre capitale P, au début des ''Éléments'' d'Euclide, dans une traduction attribuée à Adélar de Bath. Une femme porte une équerre d'une main et utilise un compas de l'autre pour mesurer des distances sur un diagramme. Un groupe de moines, apparemment ses étudiants, la regarde. Au Moyen Âge, toutes les allégories du savoir comme des vertus et des vices sont féminines, Philosophie guide Boèce dans la Consolation, Béatrice Dante dans la Comédie, Logistique Poliphile dans le Songe. Ainsi aussi le premier auteur d'un manuel de pédagogie est Dhuoda. L'objet de la géométrie (géométrie, du, gé: terre; metron: mesure) concerne la connaissance des relations spatiales.
Nouveau!!: Alfred Tarski et Histoire de la géométrie · Voir plus »
Histoire des notations mathématiques
Lhistoire des notations mathématiques décrit les débuts, les progrès et la diffusion culturelle des symboles mathématiques et les conflits entre méthodes de notation qui ont mené à leur généralisation ou leur marginalisation.
Nouveau!!: Alfred Tarski et Histoire des notations mathématiques · 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 »
Howard Jerome Keisler
Howard Jerome Keisler (né en 1936) est un mathématicien américain, professeur émérite à l'université du Wisconsin à Madison.
Nouveau!!: Alfred Tarski et Howard Jerome Keisler · Voir plus »
Hyperopération
En mathématiques, les hyperopérations (ou hyperopérateurs) constituent une suite infinie d'opérations qui prolonge logiquement la suite des opérations arithmétiques élémentaires suivantes.
Nouveau!!: Alfred Tarski et Hyperopération · Voir plus »
Iégor Reznikoff
Iégor Reznikoff, né le à Paris, est un Français, mathématicien, philosophe et musicologue, spécialiste en particulier du chant sacré, ancien professeur à l'université Paris-Nanterre.
Nouveau!!: Alfred Tarski et Iégor Reznikoff · Voir plus »
Institut polonais des arts et des sciences de l'Amérique
Bronisław Malinowski, l'un des six membres fondateurs de l'Institut polonais des arts et des sciences de l'Amérique L'Institut polonais des arts et des sciences de l'Amérique (PIASA), Polski Instytut Naukowy w Ameryce (en polonais), est un organisme à but non lucratif fondé en 1942.
Nouveau!!: Alfred Tarski et Institut polonais des arts et des sciences de l'Amérique · Voir plus »
Interprétation (logique)
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel.
Nouveau!!: Alfred Tarski et Interprétation (logique) · Voir plus »
Jaakko Hintikka
Jaakko Hintikka en 2006. Jaakko Hintikka, né le à Vantaa et mort le à Porvoo, est un philosophe et logicien finlandais.
Nouveau!!: Alfred Tarski et Jaakko Hintikka · 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 »
Jan Woleński
Jan Woleński, né le à Radom (Pologne), est un philosophe et logicien polonais, professeur émérite à l’université Jagellonne de Cracovie.
Nouveau!!: Alfred Tarski et Jan Woleński · Voir plus »
Janvier 1902
Pas de description.
Nouveau!!: Alfred Tarski et Janvier 1902 · Voir plus »
Jean Cavaillès
Jean Cavaillès, né le à Saint-Maixent et fusillé le à Arras, est un philosophe et épistémologue français, qui fut un des principaux chefs militaires de la Résistance intérieure.
Nouveau!!: Alfred Tarski et Jean Cavaillès · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Alfred Tarski et Jean van Heijenoort · 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 »
Julia Robinson
Julia Hall Robinson, née Bowman, (à Saint-Louis, Missouri, États-Unis – à Oakland, Californie) est une mathématicienne américaine.
Nouveau!!: Alfred Tarski et Julia Robinson · 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 »
Kazimierz Kuratowski
Kazimierz Kuratowski né en 1896 à Varsovie et mort en 1980 dans cette même ville, est un mathématicien polonais.
Nouveau!!: Alfred Tarski et Kazimierz Kuratowski · 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 »
Langage humain
phylactère ou « bulle » sortant de la bouche d'une personne pour symboliser ses paroles. Inscription en cunéiforme. Deux filles apprennent la langue des signes. Livre en braille. Le langage humain est un système qui regroupe le développement, l'acquisition, l'entretien et l'utilisation de systèmes complexes de communication, et désigne aussi la capacité humaine permettant ces processus.
Nouveau!!: Alfred Tarski et Langage humain · 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 »
Liste de personnes par nombre d'Erdős
Paul Erdős Voici une liste non exhaustive de personnes ayant un nombre d'Erdős de 0, 1 ou 2.
Nouveau!!: Alfred Tarski et Liste de personnes par nombre d'Erdős · Voir plus »
Liste de philosophes du langage
La liste des philosophes du langage est non exhaustive et regroupe les philosophes ayant été ou étant du mouvement de la philosophie du langage.
Nouveau!!: Alfred Tarski et Liste de philosophes du langage · Voir plus »
Liste de philosophes par année de naissance
On trouvera aussi dans cette liste des auteurs qui ne sont pas à proprement parler des philosophes, mais dont les œuvres ont eu une influence majeure dans l'histoire des idées.
Nouveau!!: Alfred Tarski et Liste de philosophes par année de naissance · Voir plus »
Liste des conférences plénières des congrès internationaux des mathématiciens
Cette liste des conférences plénières des congrès internationaux des mathématiciens dresse la liste des conférences plénières données aux congrès internationaux des mathématiciens.
Nouveau!!: Alfred Tarski et Liste des conférences plénières des congrès internationaux des mathématiciens · Voir plus »
Liste des orateurs du Congrès international des mathématiciens
Cette page présente la liste des orateurs au Congrès international des mathématiciens organisé tous les quatre ans.
Nouveau!!: Alfred Tarski et Liste des orateurs du Congrès international des mathématiciens · Voir plus »
Logique algébrique
En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres.
Nouveau!!: Alfred Tarski et Logique algébrique · Voir plus »
Logique de Łukasiewicz
En mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique.
Nouveau!!: Alfred Tarski et Logique de Łukasiewicz · 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 »
Logique paracohérente
En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique.
Nouveau!!: Alfred Tarski et Logique paracohérente · Voir plus »
Mario Pieri
Mario Pieri (Lucques, – Capannori) est un mathématicien italien, connu pour ses études sur la géométrie projective et les questions de logique développées sous l'influence des travaux de Giuseppe Peano.
Nouveau!!: Alfred Tarski et Mario Pieri · Voir plus »
Matrice (mathématiques)
upright.
Nouveau!!: Alfred Tarski et Matrice (mathématiques) · Voir plus »
Méréologie
La méréologie (du grec ancien, « partie ») est la discipline philosophique qui explique ce que sont les parties, les touts et les relations qui les lient.
Nouveau!!: Alfred Tarski et Méréologie · 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 »
Monatshefte für Mathematik
Monatshefte für Mathematik, anciennement Monatshefte für Mathematik und Physik (Revue mensuelle de mathématique et de physique), est une revue de mathématiques à comité de lecture créée en 1890.
Nouveau!!: Alfred Tarski et Monatshefte für Mathematik · Voir plus »
Naissance en 1901
Cette page dresse une liste de personnalités nées au cours de l'année 1901.
Nouveau!!: Alfred Tarski et Naissance en 1901 · Voir plus »
Octobre 1983
Pas de description.
Nouveau!!: Alfred Tarski et Octobre 1983 · Voir plus »
Ordinal de Hartogs
En théorie des ensembles, l'ordinal de Hartogs d'un ensemble A désigne le plus petit ordinal qui ne s'injecte pas dans A. Son existence utilise le remplacement et se démontre sans l'axiome du choix, contrairement au théorème de Zermelo qui revient à l'existence d'un ordinal en bijection avec A, et équivaut, lui, à l'axiome du choix.
Nouveau!!: Alfred Tarski et Ordinal de Hartogs · 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 de von Neumann
En mathématiques, et plus précisément en géométrie plane, le paradoxe de von Neumann, dû à John von Neumann en 1929, est un résultat analogue au paradoxe de Banach-Tarski, montrant que l'on peut, en utilisant l'axiome du choix, décomposer un carré unité en un nombre fini d'ensembles de points, transformer ces ensembles par des transformations affines conservant les aires, et obtenir deux carrés unités.
Nouveau!!: Alfred Tarski et Paradoxe de von Neumann · Voir plus »
Philosophie
La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.
Nouveau!!: Alfred Tarski et Philosophie · Voir plus »
Philosophie analytique
L'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du, pour éclairer les grandes questions philosophiques.
Nouveau!!: Alfred Tarski et Philosophie analytique · Voir plus »
Philosophie des mathématiques
La philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage.
Nouveau!!: Alfred Tarski et Philosophie des mathématiques · 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 »
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 »
Problème du mot
Le problème du mot est un problème de décision en algèbre abstraite.
Nouveau!!: Alfred Tarski et Problème du mot · Voir plus »
Quadrature du cercle
π a la même aire que le cercle de rayon 1. La quadrature du cercle est un problème classique de mathématiques apparaissant en géométrie.
Nouveau!!: Alfred Tarski et Quadrature du cercle · 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 »
Réfutabilité
La réfutabilité (également désignée par le recours à l'anglicisme falsifiabilité) a été introduite par Karl Popper et est considérée comme un concept important de l'épistémologie, permettant d'établir une démarcation entre les théories scientifiques et celles qui ne le sont pas.
Nouveau!!: Alfred Tarski et Réfutabilité · Voir plus »
Relation binaire
En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.
Nouveau!!: Alfred Tarski et Relation binaire · Voir plus »
Richard Montague
Richard Merett Montague (né le à Stockton (Californie), mort le à Los Angeles), est un mathématicien et philosophe américain qui a eu une influence notable en linguistique.
Nouveau!!: Alfred Tarski et Richard Montague · Voir plus »
Robert Lawson Vaught
Robert Lawson Vaught (-) est un mathématicien logicien, un des fondateurs de la théorie des modèles.
Nouveau!!: Alfred Tarski et Robert Lawson Vaught · Voir plus »
Roger Lyndon
Roger Conant Lyndon (1917–1988) est un mathématicien américain, professeur à l'université du Michigan.
Nouveau!!: Alfred Tarski et Roger Lyndon · 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 »
Saul Kripke
Saul Kripke, né le à Bay Shore dans l'État de New York et mort le à Princeton dans le New Jersey, est un philosophe et logicien américain.
Nouveau!!: Alfred Tarski et Saul Kripke · 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 de la théorie de la preuve
La sémantique de la théorie de la preuve est une approche de la sémantique formelle qui tente de localiser le sens des propositions et des connecteurs logiques non pas en termes d'interprétations, comme dans les approches tarskiennes de la sémantique, mais dans le rôle que joue la proposition ou le connecteur logique au sein du système formel.
Nouveau!!: Alfred Tarski et Sémantique de la théorie de la preuve · 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 »
Scientifiques ayant du quitter l'Europe à cause des lois raciales
Cet article liste des scientifiques qui disposent d’un article Wikipedia, qui ont du quitter l'Europe à cause des lois raciales La plupart sont soit juifs, soit mariés avec une ou un juif, soit avec un ascendant juif.
Nouveau!!: Alfred Tarski et Scientifiques ayant du quitter l'Europe à cause des lois raciales · 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 »
Stéphane Lupasco
Stéphane Lupasco, né Ștefan Lupașcu le à Bucarest et mort le à Paris, où il a vécu et travaillé, est un philosophe français d'origine roumaine.
Nouveau!!: Alfred Tarski et Stéphane Lupasco · 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 »
Tadeusz Kotarbiński
Tadeusz Kotarbiński, (né le à Varsovie - mort le à Varsovie) est un philosophe, logicien et praxéologue polonais.
Nouveau!!: Alfred Tarski et Tadeusz Kotarbiński · 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 Herbrand
En logique, le théorème de Herbrand, publié en 1930 par Jacques Herbrand, établit un lien entre la logique du premier ordre et la logique propositionnelle (qui peut-être vu comme la logique d'ordre zéro).
Nouveau!!: Alfred Tarski et Théorème de Herbrand · 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éorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Alfred Tarski et Théorèmes d'incomplétude de Gödel · 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 »
Variable (mathématiques)
Dans les mathématiques supérieures et en logique, une variable est un symbole représentant, a priori, un objet indéterminé.
Nouveau!!: Alfred Tarski et Variable (mathématiques) · 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 »
Vérité scientifique
Une vérité scientifique est une proposition construite par un raisonnement rigoureux, et vérifiée par l'expérience.
Nouveau!!: Alfred Tarski et Vérité scientifique · Voir plus »
Willard Van Orman Quine
Willard Van Orman Quine, né le à Akron (Ohio et mort le à Boston (Massachusetts), est un philosophe, logicien et universitaire américain, l'un des principaux représentants de la philosophie analytique. Il est titulaire de la chaire Edgar Pierce en tant que professeur de philosophie à l'université Harvard de 1956 à 2000. Quine est l’auteur de nombreux articles, dont notamment Deux dogmes de l'empirisme, article célèbre de 1951 qui remet en cause la distinction entre énoncés analytiques et énoncés synthétiques, et Le Mot et la Chose en 1960, où il propose sa thèse de l'indétermination de la traduction et une critique de la notion de « signification ». L’œuvre de Quine a eu une influence majeure dans les domaines de la philosophie, de la logique, de l'épistémologie et de la sémantique. Son projet d'une « épistémologie naturalisée » a notamment permis d'amorcer un tournant dans la pensée contemporaine.
Nouveau!!: Alfred Tarski et Willard Van Orman Quine · Voir plus »
William Lawvere
Francis William Lawvere, né le à Muncie dans l'Indiana et mort le à Chapel Hill (Caroline du Nord), est un mathématicien américain.
Nouveau!!: Alfred Tarski et William Lawvere · Voir plus »
(13672) Tarski
(13672) Tarski est un astéroïde de la ceinture principale.
Nouveau!!: Alfred Tarski et (13672) Tarski · Voir plus »
14 janvier
Le est le jour de l’année du calendrier grégorien.
Nouveau!!: Alfred Tarski et 14 janvier · Voir plus »
1901 en science
Pas de description.
Nouveau!!: Alfred Tarski et 1901 en science · Voir plus »
1902 en philosophie
L’année 1902 a été marquée, en philosophie, par les événements suivants.
Nouveau!!: Alfred Tarski et 1902 en philosophie · Voir plus »
1924 en science
Cet article présente les faits marquants de l'année 1924 en science.
Nouveau!!: Alfred Tarski et 1924 en science · Voir plus »
1933 en philosophie
L’année 1933 a été marquée, en philosophie, par les événements suivants.
Nouveau!!: Alfred Tarski et 1933 en philosophie · Voir plus »
1983 en science
4 avril 1983.
Nouveau!!: Alfred Tarski et 1983 en science · Voir plus »
26 octobre
Le est le jour de l'année du calendrier grégorien, lorsqu'elle est bissextile (il en reste ensuite). C'était généralement l'équivalent du 5 brumaire du calendrier républicain ou révolutionnaire français, officiellement dénommé jour de l'oie.
Nouveau!!: Alfred Tarski et 26 octobre · Voir plus »
