(13672) Tarski ist ein Asteroid des Hauptgürtels, der am 30. Mai 1997 vom italo-amerikanischen Astronomen Paul G. Comba am Prescott-Observatorium (IAU-Code 684) in Arizona entdeckt wurde.
Der Asteroid wurde am 23. Mai 2000 nach dem polnisch-US-amerikanischen Mathematiker und Logiker Alfred Tarski (1902–1983) benannt, der grundlegende Beiträge zu beiden Formalwissenschaften sowie formaler Wahrheitstheorie erarbeitete.
Siehe auch Liste der Asteroiden
Weblinks Asteroid Tarski: Discovery Circumstances gemäß dem Minor Planet Center der Internationalen Astronomischen Union bei dem Harvard-Smithsonian Center for Astrophysics, Cambridge, USA
Kategorie:Hauptgürtelasteroid unter 50 km Durchmesser