Resultats de la cerca

Professor a les universitats de Princeton i Berkeley, ha fet investigacions en topologia diferencial, anàlisi global i equacions diferencials quantitatives reeixí a provar la conjectura de Poincaré per a dimensions majors que quatre, i provà que hom pot girar una esfera a l’inrevés El 1966 li fou atorgada la medalla Fields

Quan tots els elements d’una lògica de proposicions són crisipians, hom diu que la lògica és crisipiana Tota lògica bivalent principi de bivalència és necessàriament crisipiana, però no a l’inrevés La qualitat d’ésser crisipiana una lògica és de caire sintàctic Des d’un punt de vista semàntic hom pot dir que una lògica és crisipiana quan satisfà el principi de bivalència

En un conjunt E dotat de dues lleis de composició internes o operacions, una d’elles és distributiva respecte a l’altra quan se satisfan les següents propietats si a * b° c = a * b ° a * c hom diu que * és distributiva per l’esquerra respecte a °, si b° c* a = b * a ° c * a llavors, * és distributiva per la dreta respecte a °, i si se satisfan ambdues condicions hom diu que * és distributiva respecte a ° A ℝ, la multiplicació és distributiva respecte a la suma, però no a l’inrevés

És a dir