Resultats de la cerca
Es mostren 2 resultats
principi de bivalència
Lògica
Matemàtiques
Principi de la lògica de sentències o proposicions, de caire semàntic, que diu: «tota sentència és certa o falsa».
Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses
Francesco Maurolico
Astronomia
Matemàtiques
Astrònom i matemàtic sicilià, conegut amb el nom de Francesco de Messina.
Fou monjo benedictí i traductor dels grans matemàtics grecs L’any 1543 publicà l’obra Cosmographia , i a partir de l’any 1550 es dedicà a l’estudi de l’òptica, especialment dels fenòmens relacionats amb els miralls esfèrics, els prismes i el mecanisme de la visió humana, investigacions que exposà en l’obra Photismi de homine 1611, en la qual també explicà el fenomen de l’arc de Sant Martí En el seu llibre Arithmeticorum libri duo 1575 utilitzà sistemàticament lletres en comptes de nombres en les deduccions matemàtiques, i també se serví àmpliament del tipus de raonament matemàtic…