|
Robert Feys
Robert Feys (19 December 1889 – 13 April 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).De Raeymaeker, Louis.In memoriam le chanoine Robert Feys" ''Revue Philosophique de Louvain'' 59.62 (1961): 371-374. Feys was born in Mechelen, and received his PhD in 1909 from the Institute of Philosophy, University of Leuven. In 1913 he was appointed Professor at the Université Saint-Louis, Brussels. But due to the War he enlisted in the Army. In 1919 he was appointed Professor at the Institute St. Gertrude in Nivelles. In 1929 he returned to the Université Saint-Louis, Brussels, and in 1944 he was appointed Professor at the University of Leuven. In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus The simply typed lambda calculus (\lambda^\to), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor (\to) that builds function types. It ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Belgians
Belgians ( nl, Belgen; french: Belges; german: Belgier) are people identified with the Kingdom of Belgium, a federal state in Western Europe. As Belgium is a multinational state, this connection may be residential, legal, historical, or cultural rather than ethnic. The majority of Belgians, however, belong to two distinct ethnic groups or ''communities'' ( nl, gemeenschap, links=no; french: communauté, links=no) native to the country, i.e. its historical regions: Flemings in Flanders, who speak Dutch; and Walloons in Wallonia, who speak French or Walloon. There is also a substantial Belgian diaspora, which has settled primarily in the United States, Canada, France, and the Netherlands. Etymology The 1830 revolution led to the establishment of an independent country under a provisional government and a national congress. The name "Belgium" was adopted for the country, the word being derived from ''Gallia Belgica'', a Roman province in the northernmost part of Gaul that, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haskell B
Haskell () is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic IO. Haskell's main implementation is the Glasgow Haskell Compiler (GHC). It is named after logician Haskell Curry. Haskell's semantics are historically based on those of the Miranda programming language, which served to focus the efforts of the initial Haskell working group. The last formal specification of the language was made in July 2010, while the development of GHC continues to expand Haskell via language extensions. Haskell is used in academia and industry. , Haskell was the 28th most popular programming language by Google searches for tutorials, and made up less than 1% of active users on the GitHub source code repository. History ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Belgian Logicians
Belgian may refer to: * Something of, or related to, Belgium * Belgians, people from Belgium or of Belgian descent * Languages of Belgium, languages spoken in Belgium, such as Dutch, French, and German * Ancient Belgian language, an extinct language formerly spoken in Gallia Belgica * Belgian Dutch or Flemish, a variant of Dutch *Belgian French, a variant of French * Belgian horse (other), various breeds of horse * Belgian waffle, in culinary contexts * SS ''Belgian'', a cargo ship in service with F Leyland & Co Ltd from 1919 to 1934 *''The Belgian ''The Belgian'' is a 1917 American silent film directed by Sidney Olcott and produced by Sidney Olcott Players with Valentine Grant and Walker Whiteside in the leading roles. It is not known whether the film currently survives. Plot As descr ...'', a 1917 American silent film See also * * Belgica (other) * Belgic (other) {{Disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1961 Deaths
Events January * January 3 ** United States President Dwight D. Eisenhower announces that the United States has severed diplomatic and consular relations with Cuba (Cuba–United States relations are restored in 2015). ** Aero Flight 311 (Koivulahti air disaster): Douglas DC-3C OH-LCC of Finnish airline Finnair, Aero crashes near Kvevlax (Koivulahti), on approach to Vaasa Airport in Finland, killing all 25 on board, due to pilot error: an investigation finds that the Captain (civil aviation), captain and First officer (civil aviation), first officer were both exhausted for lack of sleep, and had consumed excessive amounts of alcohol at the time of the crash. It remains the deadliest air disaster to occur in the country. * January 5 ** Italian sculptor Alfredo Fioravanti marches into the U.S. Consulate in Rome, and confesses that he was part of the team that forged the Etruscan terracotta warriors in the Metropolitan Museum of Art. ** After the 1960 Turkish coup d'état, 1960 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1889 Births
Events January–March * January 1 ** The total solar eclipse of January 1, 1889 is seen over parts of California and Nevada. ** Paiute spiritual leader Wovoka experiences a vision, leading to the start of the Ghost Dance movement in the Dakotas. * January 4 – An Act to Regulate Appointments in the Marine Hospital Service of the United States is signed by President Grover Cleveland. It establishes a Commissioned Corps of officers, as a predecessor to the modern-day U.S. Public Health Service Commissioned Corps. * January 5 – Preston North End F.C. is declared the winner of the inaugural Football League in England. * January 8 – Herman Hollerith receives a patent for his electric tabulating machine in the United States. * January 15 – The Coca-Cola Company is originally incorporated as the Pemberton Medicine Company in Atlanta, Georgia. * January 22 – Columbia Phonograph is formed in Washington, D.C. * January 30 – Rudolf, Crown Prince of Austria and his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Craig (philosopher)
William Craig (November 13, 1918 – January 13, 2016) was an American academic and philosopher, who taught at the University of California, Berkeley, in Berkeley, California. His research interests included mathematical logic, and the philosophy of science, and he is best known for the Craig interpolation theorem. Biography William Craig was born in Nuremberg, German Empire, on November 13, 1918. He graduated from Harvard University with a Ph.D in 1951. He married Julia Rebecca Dwight Wilson and had four children: Ruth, Walter, Sarah, and Deborah. In 1959 he moved to UC Berkeley. He died on January 13, 2016, at the age of 97. Achievements Craig is particularly remembered in two theorems that bear his name: * the Craig interpolation theorem, and * Craig's theorem, also known as ''Craig's axiomatization theorem'' or ''Craig's reaxiomatization theorem''. See also * American philosophy * List of American philosophers This is a list of American philosophers; of philosophers who ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simply Typed Lambda Calculus
The simply typed lambda calculus (\lambda^\to), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor (\to) that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda calculus. The term ''simple type'' is also used to refer extensions of the simply typed lambda calculus such as products, coproducts or natural numbers ( System T) or even full recursion (like PCF). In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered ''simply typed''. The simple types, except for full recursion, are still considered ''simple'' because the Church encodings of such structures can be done using only \to and suitable type variables, while polymorphism and dependency cannot. Syntax In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Type Inference
Type inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Nontechnical explanation Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line. Calling something a table indicates another designation than calling it firewood, though it might be materially the same thing. While their material properties make things usable for some purposes, they are also subject of particular designations. This is especially the case in abstract fields, namely mathematics and computer science, where the material is finally only bits or formulas. To exclude unwanted, but materially possible uses, the concept of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nivelles
Nivelles (; nl, Nijvel, ; wa, Nivele; vls, Neyvel) is a city and municipality of Wallonia located in the Belgian province of Walloon Brabant. The Nivelles municipality includes the former municipalities of Baulers, Bornival, Thines, and Monstreux. The Nivelles arrondissement includes all the municipalities in Walloon Brabant. The Collegiate Church of Saint Gertrude has been classified as a heritage site of Wallonia. History The rise of Nivelles Starting in 4000 BC, the Nivelles region was gradually turned into agricultural land by the Danubian settlers. Most of their ancestral Rubanean civilization was destroyed by the Roman invaders during the first century AD. In turn, most of the Roman constructions, including villas, were destroyed during the Germanic invasions of the 3rd century. In the 7th century, the territory was part of the Austrasian Frankish kingdom, and the Mayor of the Palace, Pippin of Landen, rebuilt a villa there that covered more than 78 km². After ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logician
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saint-Louis University, Brussels
Saint-Louis University, Brussels or UCLouvain Saint-Louis Brussels (officially, in French Université Saint-Louis – Bruxelles) is a public university in Brussels, belonging to the French Community of Belgium and specialized in social and human sciences. Prior to 2012 it was known as the Facultés universitaires Saint-Louis (abbreviated FUSL). From September 2018 on, the university uses the name UCLouvain, together with the University of Louvain, in the context of a merger between both universities. History When the Catholic University of Belgium moved from Mechelen to Leuven in 1835, the unused buildings were used to host the newly founded ''École de Commerce et d'Industrie'' (School of Trade and Industry), which was inaugurated in 1838. The school moved to Brussels in 1858 and became the ''Institut Saint-Louis'' (a diocesan secondary school), where the Philosophy Department was founded, which eventually grew to become a university. This was the result of the Catholic clerg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institute Of Philosophy, University Of Leuven
The Institute of Philosophy (Dutch: Hoger Instituut voor Wijsbegeerte) is the faculty of philosophy at the KU Leuven in the Belgian city of Leuven. It was founded in 1968 when the ''Institut supérieur de Philosophie - Hoger Instituut voor Wijsbegeerte'' of the Catholic University of Leuven (1835–1968) was split into a Dutch-speaking entity and a French-speaking entity. Its main buildings are located in the center of Leuven, Belgium at the Kardinaal Mercier Square, the founder of the original institute. History The ''Institut supérieur de Philosophie'' was founded by Cardinal Mercier on 8 November 1889 with the intent to be a beacon of Neo-Thomist philosophy, although Philosophy and Theology have been taught at the universities of Leuven since 1425. The institute initially taught programs in French and started courses in Dutch in 1933. After the language split of 1968, the ''Hoger Instituut voor Wijsbegeerte'' became part of the newly independent ''Katholieke Universiteit te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
