Tarski

Tarski
/tahr"skee/, n.
Alfred, born 1902, U.S. mathematician and logician, born in Poland.

* * *


Universalium. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • TARSKI (A.) — Né à Varsovie, Alfred Tarski, qui fut, avant la Seconde Guerre mondiale, un des maîtres de l’école polonaise de logique, devait s’imposer comme un des plus grands logiciens contemporains, par ses travaux sur la métamathématique et sur la… …   Encyclopédie Universelle

  • Tarski — Tarski, Alfred …   Philosophy dictionary

  • Tarski — Tarski, Alfred …   Enciclopedia Universal

  • tarski — tȃrskī prid. DEFINICIJA koji se odnosi na Tar ETIMOLOGIJA vidi Tar …   Hrvatski jezični portal

  • Tarski — Alfred Tarski Alfred Tarski Alfred Tarski, né le 14 janvier 1902 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie était un logicien et un philosophe …   Wikipédia en Français

  • Tarski — Alfred Tarski in Berkeley Alfred Tarski bzw. ursprünglich Alfred Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch US amerikanischer …   Deutsch Wikipedia

  • tarški — tarškùs, tarški̇̀ bdv. Tarški̇̀ mùzika …   Bendrinės lietuvių kalbos žodyno antraštynas

  • Tarski's axioms — Tarski s axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called elementary, that is formulable in first order logic with identity, and requiring no set theory. Other modern axiomizations of… …   Wikipedia

  • Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… …   Wikipedia

  • Tarski–Grothendieck set theory — (TG) is an axiomatic set theory derived by marrying Tarski s axiom (see below) to ZF. TG is part of the Mizar system for formal computer verification of mathematical proofs.AxiomsWhile the axioms and definitions defining Mizar s basic objects and …   Wikipedia

  • Tarski's circle-squaring problem — is the challenge, posed by Alfred Tarski in 1925, to take a disc in the plane, cut it into finitely many pieces, and reassemble the pieces so as to get a square of equal area. This was proven to be possible by Miklós Laczkovich in 1990; the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”