Entidades mencionadas
Jeremy Avigad
person
Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University.
Convergent Research
organization
Convergent Research | 1,436 followers on LinkedIn. New types of organization are needed to accelerate scientific progress. Academic research groups and startup companies are essential to science and t
Lean theorem prover
software
Howard Stein
person
Howard Mathew Stein (October 6, 1926 – July 26, 2011) was an American financier who is widely considered one of the fathers of the mutual fund industry. He was featured on the cover of Time magazine o
Proofs and Prompts
creative_work
Felix Klein
person
Felix Christian Klein fue un
matemático alemán que demostró que las geometrías métricas, euclidianas o no euclidianas, constituyen casos particulares de la geometría proyectiva. En 1871 presentó una n
Ver en Wikipedia
William Ewald
person
William Ewald is an American philosopher and legal scholar. He is a professor of philosophy and the John J. O’Brien Professor of Comparative and International Law at the University of Pennsylvania Law
Poincaré
person
Jules Henri Poincaré, generalmente conocido como Henri Poincaré, fue un prestigioso polímata: matemático, físico, científico teórico y filósofo de la ciencia, primo del presidente de Francia Raymond P
Ver en Wikipedia
University of Göttingen
organization
La Universidad de Gotinga fue fundada en el año 1734 por Jorge II, príncipe elector de Hanóver y rey de Gran Bretaña. Abrió sus puertas a los estudiantes en 1737. Pronto consiguió un puesto destacado
Ver en Wikipedia
Grothendieck
person
Alexander Grothendieck fue un matemático apátrida, nacionalizado francés en los años 1980. Durante la segunda mitad del siglo XX llevó a cabo un extraordinario proceso de unificación de la aritmética,
Ver en Wikipedia
Carl Friedrich Gauss
person
Johann Carl Friedrich Gauss ; fue un matemático, astrónomo, geodesta y físico alemán que contribuyó significativamente en muchos ámbitos, incluida la teoría de números, el análisis matemático, la geom
Ver en Wikipedia
Galois
person
Évariste Galois fue un matemático y revolucionario francés. Mientras aún era un adolescente, fue capaz de determinar la condición necesaria y suficiente para que una ecuación algebraica sea resuelta p
Ver en Wikipedia
Mark Twain
person
Samuel Langhorne Clemens, más conocido por su seudónimo Mark Twain, fue un escritor, orador y humorista estadounidense. Escribió obras de gran éxito y fama mundial como El príncipe y el mendigo o Un y
Ver en Wikipedia
Matthew Ballard
person
Bernhard Riemann
person
Georg Friedrich Bernhard Riemann (pronunciación en alemán: /ˈɡeːɔʁk ˈfʁiːdʁɪç ˈbɛʁnhaʁt ˈʁiːman/ ; fue un matemático alemán que realizó contribuciones muy importantes al análisis y la geometría difere
Ver en Wikipedia