Seznam věcí pojmenovaných podle Alfreda Tarského - List of things named after Alfred Tarski
V dějiny matematiky, Alfred Tarski (1901–1983) je jedním z nejdůležitějších logici. Jeho jméno je nyní spojeno s řadou věty a koncepty v této oblasti.
Věty
- Věta o zachování Łoś – Tarski
- Věta Knaster – Tarski (někdy označovaná jako Tarskiho věta o pevném bodě)
- Tarskiho věta o nedefinovatelnosti
- Věta Tarski – Seidenberg
- Nějaký věty o pevném bodě, obvykle varianty Kleeneova věta o pevném bodě, jsou označovány jako princip fixního bodu Tarski – Kantorovitch nebo teorém Tarski – Kantorovitch, ačkoli použití této terminologie je omezené.
- Tarskiho věta
- Bernays-Tarskiho axiomový systém
- Banach – Tarski paradox
- Lindenbaum – Tarski algebra
- Logika Łukasiewicz-Tarski
- Dualita Jónsson – Tarski
- Jónsson – Tarski algebra
- Překlad Gödel – McKinsey – Tarski
- The sémantická teorie pravdy se někdy označuje jako Tarskiho definice pravdy nebo Tarskiho definice pravdy.
- Tarskiho axiomatizace skutečností
- Tarskiho axiomy pro rovinnou geometrii
- Tarskiho problém kruhových čtverců
- Tarskiho problém exponenciální funkce
- Teorie množin Tarski – Grothendieck
- Tarskiho problém střední školy s algebrou
- Algoritmus Tarski – Kuratowski
- Tarski skupina příšer
- Tarskiho problém s prkny
- Tarskiho problémy pro volné skupiny
- Tarski – Vaughtův test
- Tarskiho svět
jiný
- 13672 Tarski, asteroid hlavního pásu