List of things named after Alfred Tarski
In the history of mathematics, Alfred Tarski (1901–1983) is one of the most important logicians. His name is now associated with a number of theorems and concepts in that field.
Theorems
- Łoś–Tarski preservation theorem
- Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem)
- Tarski's undefinability theorem
- Tarski–Seidenberg theorem
- Some fixed point theorems, usually variants of the Kleene fixed-point theorem, are referred to the Tarski–Kantorovitch fixed–point principle or the Tarski–Kantorovitch theorem although the use of this terminology is limited.
- Tarski's theorem
Other mathematics-related work
- Bernays-Tarski axiom system
- Banach–Tarski paradox
- Lindenbaum–Tarski algebra
- Łukasiewicz-Tarski logic
- Jónsson–Tarski duality
- Jónsson–Tarski algebra
- Gödel–McKinsey–Tarski translation
- The semantic theory of truth is sometimes referred to as Tarski's definition of truth or Tarski's truth definitions.
- Tarski's axiomatization of the reals
- Tarski's axioms for plane geometry
- Tarski's circle-squaring problem
- Tarski's exponential function problem
- Tarski–Grothendieck set theory
- Tarski's high school algebra problem
- Tarski–Kuratowski algorithm
- Tarski monster group
- Tarski's plank problem
- Tarski's problems for free groups
- Tarski–Vaught test
- Tarski's World
Other
- 13672 Tarski, a main-belt asteroid
gollark: Isn't that *also* kind of bad? I mean, you're subject to departmental politics stuff probably, have "publish or perish" going on, etc.
gollark: "It's only real work if you do manual labour, because that was around longer and is thus evidently the only valid kind, and it looks more difficult to me."
gollark: Yes, that is silly people being silly.
gollark: You're not really paying them for either as much as just the fact that they can do/make the thing you want and you are, presumably, willing to pay the price they ask for. Going around trying to judge someone else's "worth" in some way is problematic.
gollark: The learning time is amortized over all the other programming stuff they do, and it's not like they would somehow unlearn everything if you didn't pay more. Still, it is somewhat complicated and, er, possibly impossible, although if people want to do it (they regularly do complex things anyway if they're interesting) then why not.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.