Resultats de la cerca

Així, els grups simètrics associats a conjunts que tenen una llei de composició interna resten caracteritzats per una propietat universal

Aquesta teoria, la inicià Garret Birkhoff a l’entorn del 1930 i fou consolidada després de la Segona Guerra Mundial per Alfred Traski, Leon Henkin i Abraham Robinson, entre d’altres

És el producte escalar del gradient tetradimensional ⃞ per ell mateix

De manera menys precisa, hom pot definir també el complement d’un conjunt qualsevol C , com el complement del conjunt respecte al conjunt universal format per tots els possibles elements de tots els possibles conjunts, és a dir, el complement de C és el conjunt C' tal que C ∪ C' = U i C ∩ C' = ∅on U és el conjunt universal

A partir dels anys trenta inicià l’estudi de diverses branques de l’àlgebra moderna que conduïren a la creació de l’àlgebra universal Estudià algebres lliures, teoremes d’isomorfisme i d’homomorfisme, reticles de congruències, reticles en general, sistemes equacionals, etc També cal remarcar les seves contribucions en mecànica de fluids, anàlisi numèrica i teoria nuclear

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

Professor a la Universitat de Tolosa, al Llenguadoc 1895-99, a Caen 1899-1905 i al Collège de France 1905-14, fou destacat defensor de la investigació lògica simbòlica i propugnà la formació d’una mathesis universalis i d’una llengua universal Entre les seves obres es destaquen De l’infini mathématique 1896, La logique de Leibniz d’après les manuscrits inédits 1901, L’algèbre de la logique 1905 i Histoire de la langue universelle 1903

Entre els seus treballs d’astronomia destaca una teoria sobre l’origen del sistema solar , basada en la teoria de Kant cosmogonia i coneguda com a hipòtesi de Kant-Laplace També investigà la trajectòria dels planetes i l’estabilitat del sistema solar Reuní en un tractat titulat Mécanique céleste 1798-1825 tots els treballs de Newton, Halley, Clairaut, D’Alembert i Euler sobre les conseqüències del principi de gravitació universal En el camp de les matemàtiques publicà, el 1812, un important tractat sobre el càlcul de probabilitats, Théorie analytique des probabilités En…

Ideà el concepte teòric d’una màquina calculadora universal, que és anomenada màquina de Turing Treballà especialment en el camp de la lògica matemàtica i s’interessà per la intelligència artificial La seva activitat fou fonamental per a desxifrar el codi Enigma alemany, fet que contribuí a posar fi a la Segona Guerra Mundial i a salvar milers de vides El 1952 fou condemnat per pràctiques homosexuals illegals a la Gran Bretanya fins el 1967, i per evitar la presó acceptà ser sotmès a una castració química La condemna l’obligà a abandonar la seva feina al Quarter General de…