Andrzej Trybulec
Polish mathematician and computer scientist

Born
1941
84 years ago
Died
September 11th, 2013
11 years ago — 72 years old
Category
Scientists & Innovators
Country
Poland
Links & References
Contributed to the field of mathematical logic and computer science. Developed the concept of 'lambda calculus' in relation to programming languages and computability. Pioneered research in the area of type theory, particularly in its application to programming language design and formal verification. Served as a professor, educating a generation of mathematicians and computer scientists. Engaged in numerous academic publications, shaping the landscape of theoretical computer science.
Developed lambda calculus concepts
Pioneered research in type theory
Published extensively in mathematical logic
Other People Who Died on September 11th
Joachim Fest
A journalist and author focused on German history and politics, significant contributions included writings on Adolf Hitler and the Third Reich. Fest worked as an editor and wrote influential books, with notable emphasis on the impact of Nazi Germany. His works combined historical analysis and narrative, attracting attention for their depth and detail. Through journalism, contributed to discussions on contemporary issues in Germany, and held a prominent position in media, providing insights into the country's past and its consequences.
Continue ReadingJosé Núñez de Cáceres
A significant figure in the early history of the Dominican Republic, this individual led the independence movement against Spanish colonial rule in 1821. Advocating for freedom and self-governance, played a key role in the short-lived declaration of independence. In addition to political efforts, engaged in writing that contributed to the intellectual landscape of the time, exploring themes of national identity and governance. Involved in subsequent political movements and developments, contributing to shaping the future of the nation.
Continue ReadingNeem Karoli Baba
A significant figure in Indian spirituality, this individual was a prominent guru, revered for teachings that emphasized love, devotion, and service to humanity. He founded several ashrams across India, promoting the principles of Bhakti Yoga, which focused on devotion to God. His influence extended beyond India, impacting seekers and spiritual practitioners globally. Notable followers included prominent figures from various fields, who adopted and spread his teachings. The guru's presence encouraged various charitable activities, helping the less fortunate and advocating for a simple lifestyle. The teachings were passed down through personal interactions and stories shared by his disciples.
Continue ReadingCharles Norris
A prominent figure in forensic science, contributions included the establishment of modern techniques in the field of forensic pathology. Served as the Chief Medical Examiner for New York City from 1918 until death in 1935. Implemented significant changes to the handling and investigation of suspicious deaths. Published influential works on the subject that advanced the role of scientific expertise in legal investigations.
Continue ReadingJoseph Nicollet
Born in France in 1786, Nicollet became a prominent mathematician and explorer. He emigrated to the United States, where he contributed to the mapping of the Upper Mississippi Valley. Nicollet undertook extensive explorations in the region, producing detailed maps that included rivers, lakes, and topographical features. His work improved understanding of the geography of North America. Nicollet's explorations provided valuable information for future settlers and explorers. He also conducted scientific studies on meteorology and Native American cultures, leaving a lasting legacy in cartography and exploration.
Continue ReadingLuciano Sgrizzi
An Italian harpsichordist, pianist, and composer contributed significantly to music during the 20th century. Sgrizzi was active in performing and composing a range of works that showcased the capabilities of the harpsichord. Through various concert performances and recordings, the musician displayed a deep understanding of historical music styles and their interpretation. Focused on both solo and ensemble works, Sgrizzi's compositions reflect traditional Baroque influences along with modern sensibilities, enriching the classical music landscape.
Continue Reading