"Para poner aún más de relieve la importancia de la lógica, la UNESCO proclamó el 14  de  enero  Día  Mundial  de  la  Lógica.  La  fecha  del  14  de  enero  se  eligió  con  la  intención  de  rendir  homenaje  a  dos  grandes  lógicos  del  siglo  XX:  Kurt Gödel, que falleció  el  14  de  enero  de  1978,  elaboró  el  teorema  de  la  incompletitud,  que  transformó el estudio de la lógica en el siglo XX; y Alfred Tarski, que nació el 14 de enero de 1901, formuló teorías que interactuaron con las de Gödel."