Resultats de la cerca

Els més coneguts són per a tot x ∀ x quantificador universal existeix x ∃ x quantificador existencial Una frase com “existeix un home que és odiat per tots els homes” podria ésser formalitzada per ∃ x /∀ y x és odiat per y L’ús dels quantificadors és degut a Frege 1879 El símbol ∃d’existència és degut a Peano 1894, i el ∀, a Hilbert

Fill d’un astrònom, hom el suposa parent del tirà de Siracusa, Hieró Fou mort per un soldat romà quan les tropes de Marcel saquejaren Siracusa en el curs de la segona guerra Púnica És difícil de destriar la veritat de la llegenda en els altres detalls de la seva biografia Es destacà en geometria pura Havia estudiat Euclides i tingué alguna relació amb Eratòstenes Hom li pot suposar, però, una certa oposició enfront de la ciència oficial de l’època detinguda pels professors que residien a Alexandria, atesos la profunda originalitat de la seva obra científica, el dialecte dòric en què fou…