Alonzo Church
Mathematician and logician; Church-Turing Thesis
Mathematician and logician; Church-Turing Thesis
1995
31 years ago — 92 years old
Thinkers & Philosophers
United States
A prominent mathematician and logician contributed significantly to the fields of mathematical logic and theoretical computer science. Introduced the concept of lambda calculus, which became foundational for functional programming. Developed the Church-Turing Thesis, proposing that any effectively calculable function can be computed by a Turing machine, laying important groundwork for modern computer science. Worked on recursive functions and demonstrated the undecidability of the Entscheidungsproblem. Served as a professor at Princeton University and held various prestigious academic positions.
Developed lambda calculus
Formulated the Church-Turing Thesis
Demonstrated undecidability of the Entscheidungsproblem
Born in 1801, a prominent religious leader in the early days of the Latter Day Saint movement. Played critical roles in the establishment of communities in the western United States following the migration to Utah. Served as an apostle in the Church of Jesus Christ of Latter-day Saints and was a founding member of Brigham Young University. Instrumental in the settlement and organization of Salt Lake City and surrounding areas. Engaged in missionary work and provided leadership in church governance during the 19th century.
Continue ReadingBorn in Germany, engaged in peace activism during the early 20th century. Participated in the women's peace movement, advocating for disarmament and international cooperation. Contributed significantly to anti-war conferences and was involved with various organizations promoting peace in Europe. Actively campaigned against the militarization of society and urged for peace treaties to prevent conflicts. Worked alongside other notable peace advocates of the era, emphasizing the necessity of dialogue and understanding between nations.
Continue ReadingAustrian biologist and physician contributed significantly to the field of immunology. Discovered the human blood groups A, B, AB, and O, which allowed for safe blood transfusions. Conducted foundational research in serology, leading to advances in understanding various diseases and blood compatibility. Received the Nobel Prize in Physiology or Medicine in 1930 for discovering the Rh factor in blood.
Continue ReadingBorn in 1929, a Canadian-American ice hockey player and coach had a significant career in the National Hockey League (NHL). Played for the Detroit Red Wings, where he was part of the championship-winning team in 1954, contributing to their Stanley Cup victory. Later became a head coach for various teams in the NHL, showcasing a versatile approach to coaching and player development. Transitioned into a coaching role after retiring as a player, contributing to hockey at different levels. Passed away in 2023.
Continue ReadingContributed significantly to the field of electrostatics and mechanics. Formulated Coulomb's law, which describes the electrostatic interaction between charged particles. Worked on friction and torsion pendulum experiments, advancing the understanding of mechanical properties of materials. Held the position of a member of the French Academy of Sciences.
Continue ReadingBorn in Germany and later residing in England, an author and illustrator specialized in children's literature. Began her career in the 1960s, writing and illustrating books that captured the imaginations of young readers. The most prominent work includes 'The Tiger Who Came to Tea,' published in 1968, which became a classic in children's books. The story features a whimsical encounter between a young girl and a tiger who visits for tea. Other notable books include 'Mog the Forgetful Cat' series, which follows the adventures of a cat named Mog. Many of the works reflect themes of childhood and family life, often incorporating elements of the author's own experiences.
Continue Reading