En 2019 la UNESCO declaró el 14 de enero el día mundial de la lógica, en conmemoración a Kurt Gödel, por el día de su fallecimiento, que coincidió con el nacimiento de Alfred Tarski. Gödel y Tarski fueron dos de los más importantes lógicos matemáticos del siglo XX, que encontraron por primera vez los límites del poder de la matemática.
