Yahoo Italia Ricerca nel Web

Risultati di ricerca

1. it.wikipedia.org › wiki › Benjamin_PeirceBenjamin Peirce - Wikipedia

   it.wikipedia.org › wiki › Benjamin_Peirce

   • Cache

   Benjamin Peirce. Benjamin Peirce (Salem, 4 aprile 1809 – Cambridge, 6 ottobre 1880) è stato un matematico e astronomo statunitense. Dopo essersi laureato all'Università Harvard, ne venne nominato professore di matematica nel 1831. Dal 1842 fu anche professore di astronomia, e insegnò alla Harvard per quasi cinquant'anni, fino alla morte.

2. www.cis.upenn.edu › ~bcpierceBenjamin C. Pierce - University of Pennsylvania

   www.cis.upenn.edu › ~bcpierce

   • Cache

   Benjamin Pierce is a researcher and teacher in programming languages, logic, and software foundations. He is the author of several books, including Types and Programming Languages and Software Foundations, and a co-founder of the Penn PL Club.

3. en.wikipedia.org › wiki › Benjamin_PeirceBenjamin Peirce - Wikipedia

   en.wikipedia.org › wiki › Benjamin_Peirce

   • Cache

   Benjamin Peirce ForMemRS HonFRSE (/ ˈ p ɜːr s /; April 4, 1809 – October 6, 1880) was an American mathematician who taught at Harvard University for approximately 50 years. He made contributions to celestial mechanics, statistics, number theory, algebra, and the philosophy of mathematics.

4. www.britannica.com › biography › Benjamin-PeirceBenjamin Peirce | American Mathematician, Astronomer & Harvard...

   www.britannica.com › biography › Benjamin-Peirce

   • Cache

   1 apr 2024 · Benjamin Peirce (born April 4, 1809, Salem, Massachusetts, U.S.—died October 6, 1880, Cambridge, Massachusetts) was an American mathematician, astronomer, and educator who computed the general perturbations of the planets Uranus and Neptune.

5. Immagini

   • 
   • 
   • 
   • 
   • 
   • 
   • 

   Mostra tutto

6. www.cis.upenn.edu › ~bcpierce › taplTypes and Programming Languages - University of Pennsylvania

   www.cis.upenn.edu › ~bcpierce › tapl

   A book by Benjamin C. Pierce, Professor of Computer and Information Science at the University of Pennsylvania, on type systems and programming languages. The book covers topics such as lambda-calculus, polymorphism, subtyping, kinds, and type operators, with examples and exercises.

7. plato.stanford.edu › entries › peirce-benjaminBenjamin Peirce - Stanford Encyclopedia of Philosophy

   plato.stanford.edu › entries › peirce-benjamin

   3 feb 2001 · Benjamin Peirce (b. April 4, 1809, d. October 6, 1880) was a professor at Harvard with interests in celestial mechanics, applications of plane and spherical trigonometry to navigation, number theory and algebra. In mechanics, he helped to establish the (effects of the) orbit of Neptune (in relation to Uranus).

8. mathshistory.st-andrews.ac.uk › Biographies › Peirce_BenjaminBenjamin Peirce - MacTutor History of Mathematics Archive

   mathshistory.st-andrews.ac.uk › Biographies › Peirce_Benjamin

   • Cache

   Benjamin Peirce was an early American mathematician who worked on celestial mechanics and geodesy on the applied side and linear associative algebra and number theory on the pure side. He has been called the "Father of pure mathematics" in America. View four larger pictures.