Kevin Buzzard
Mathematician and computer scientist
Contributed to the fields of mathematics and computer science, with a focus on theorem proving and algebra. Worked on the Lean Theorem Prover, enhancing its capabilities for interactive proof development. Engaged in educational initiatives to improve mathematics education, particularly in relation to computer-assisted proofs.
Developed significant features for the Lean Theorem Prover
Published research on automated theorem proving
Other People Born on September 21st
H. G. Wells
Science Fiction Writer, The Time Machine
Born
September 21st, 1866 160 years ago
Died
August 13th, 1946 80 years ago — 79 years old
An English novelist, historian, and critic contributed significantly to the science fiction genre. Published the seminal works 'The Time Machine' and 'The War of the Worlds', which explored themes of technology, future societies, and alien invasions. Engaged with social and political issues through literature, reflecting on the implications of scientific advancements. Additionally wrote historical works and essays commenting on societal trends and philosophies.
Continue ReadingDonald A. Glaser
Physicist and Nobel Prize winner
Born
September 21st, 1926 100 years ago
Died
February 28th, 2013 13 years ago — 86 years old
Contributions to the field of physics are significant, particularly in the development of the bubble chamber. This invention changed the way subatomic particles were observed and studied. Glaser received the Nobel Prize in Physics in 1960 for this work, which advanced experimental techniques in particle physics. Later, he explored biophysics and neurosciences, further diversifying his research pursuits. His academic career included a position at the University of California, Berkeley, where he influenced numerous students and researchers.
Continue ReadingAntoine Barnave
French politician and orator
Born
September 21st, 1761 265 years ago
Died
1793 233 years ago — 32 years old
Born in 1761, a prominent politician and orator during the French Revolution. Initially a supporter of the Constitutional Assembly, played a key role in the early stages of the revolution. Advocated for constitutional monarchy and sought to appease various factions within the revolutionary movement. Engaged in significant debates that influenced the direction of revolutionary policy. Eventually arrested during the Reign of Terror for opposing radical measures, faced execution in 1793. His political writings and efforts contributed to shaping the revolutionary discourse of the era.
Continue ReadingHedwig Jagiellon
Duchess of Bavaria, Marriage Alliance
Born
September 21st, 1457 569 years ago
Died
February 18th, 1502 524 years ago — 44 years old
Served as Duchess of Bavaria through marriage. Born into the noble Jagiellonian dynasty, became the wife of Duke George the Rich of Bavaria-Landshut. The marriage aimed to strengthen ties between Poland and Bavaria. The union produced several children, continuing the lineage of both houses. Participated in the political landscape of the late 15th century Europe, influencing regional dynamics.
Continue ReadingReinhard Marx
German cardinal and influential church leader
Born
September 21st, 1953 73 years ago
Ordained as a priest in 1977, held numerous positions within the Catholic Church in Germany, leading to appointment as Archbishop of Munich and Freising in 2007. Created a cardinal in 2010 by Pope Benedict XVI. Actively engaged in discussions about church reform and social issues.
Continue ReadingKim Jong-dae
South Korean singer-songwriter and member of EXO
Born
September 21st, 1992 34 years ago
A South Korean singer-songwriter born in 1992 rose to fame as a member of the boy group EXO. The group debuted in 2012 under SM Entertainment and quickly gained popularity both domestically and internationally. In addition to group activities, solo projects included a successful solo album, with the title track showcasing vocal prowess. Collaborations with other artists and participation in soundtracks expanded the musical career. Noteworthy is the involvement in the project group SuperM, a collaboration with other prominent SM artists, which debuted in 2019.
Continue Reading