| Property |
Value |
| dbo:abstract
|
- 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. Les prédicats utilisés dans le langage sont :
* le point y est entre les points x et z : (entre deux ou en anglais betweenness) ;
* la distance de x à y est égale à la distance de z à u : (congruence). (fr)
- 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. Les prédicats utilisés dans le langage sont :
* le point y est entre les points x et z : (entre deux ou en anglais betweenness) ;
* la distance de x à y est égale à la distance de z à u : (congruence). (fr)
|
| dbo:discoverer
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8277 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2015 (xsd:integer)
- 2016 (xsd:integer)
|
| prop-fr:auteur
|
- Alfred Tarski (fr)
- Michael Beeson (fr)
- W. Schwabhäuser (fr)
- Wanda Zwielew (fr)
- Alfred Tarski (fr)
- Michael Beeson (fr)
- W. Schwabhäuser (fr)
- Wanda Zwielew (fr)
|
| prop-fr:langue
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
| prop-fr:mois
|
- November (fr)
- March (fr)
- November (fr)
- March (fr)
|
| prop-fr:numéro
|
- Issue 1 (fr)
- Issue 11 (fr)
- Issue 1 (fr)
- Issue 11 (fr)
|
| prop-fr:passage
| |
| prop-fr:titre
|
- A constructive version of Tarski's geometry, Annals of pure and applied logic (fr)
- Metamathematishe Methoden in der Geometrie, Springer-Verlag 1983, Reprinted 2012 by ISHI Press. (fr)
- A Constructive geometry and the parallel postulante, Bulletin of Symbolic logic (fr)
- A constructive version of Tarski's geometry, Annals of pure and applied logic (fr)
- Metamathematishe Methoden in der Geometrie, Springer-Verlag 1983, Reprinted 2012 by ISHI Press. (fr)
- A Constructive geometry and the parallel postulante, Bulletin of Symbolic logic (fr)
|
| prop-fr:volume
|
- 22 (xsd:integer)
- 166 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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. Les prédicats utilisés dans le langage sont :
* le point y est entre les points x et z : (entre deux ou en anglais betweenness) ;
* la distance de x à y est égale à la distance de z à u : (congruence). (fr)
- 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. Les prédicats utilisés dans le langage sont :
* le point y est entre les points x et z : (entre deux ou en anglais betweenness) ;
* la distance de x à y est égale à la distance de z à u : (congruence). (fr)
|
| rdfs:label
|
- Axiomes de Tarski (fr)
- Tarski's axioms (en)
- Аксиоматика Тарского (геометрия) (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
