|
Viggo Stoltenberg-Hansen
Viggo Stoltenberg-Hansen, born 1942, professor at Uppsala University, Department of Mathematics, is a Sweden, Swedish mathematician/logician and expert on domain theory and recursion theory (also known as computability theory). Viggo received his PhD in Mathematics (titled "On Priority Arguments In Friedberg Theories") from University of Toronto in 1973. Work on domain theory Viggo Stoltenberg-Hansen and John V. Tucker, John Tucker developed in the early 1980s a general method of Domain theory, domain representations of topological algebras. Viggo is the main author of the textbook "Mathematical Theory of Domains", Cambridge University Press, 1994 (coauthored by I. Lindström and E. Griffor), and also of a set of Marktoberdorf summer school lecture notes on domain theory. Work on effective domains Viggo Stoltenberg-Hansen and John Tucker made a thorough analysis of the computability associated to ''effective algebras'' and continuity of homomorphisms between such. Some Refere ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uppsala University
Uppsala University ( sv, Uppsala universitet) is a public university, public research university in Uppsala, Sweden. Founded in 1477, it is the List of universities in Sweden, oldest university in Sweden and the Nordic countries still in operation. The university rose to significance during the rise of Swedish Empire, Sweden as a great power at the end of the 16th century and was then given a relative financial stability with a large donation from King Gustavus Adolphus of Sweden, Gustavus Adolphus in the early 17th century. Uppsala also has an important historical place in Swedish national culture, identity and for the Swedish establishment: in historiography, literature, politics, and music. Many aspects of Swedish academic culture in general, such as the white student cap, originated in Uppsala. It shares some peculiarities, such as the student nation system, with Lund University and the University of Helsinki. Uppsala belongs to the Coimbra Group of European universities a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marktoberdorf
Marktoberdorf () is the capital of the Bavarian district of Ostallgäu in the ''Regierungsbezirk'' of Swabia. Marktoberdorf is near Kempten, Füssen, known for the castle Neuschwanstein, Bad Wörishofen, and Schongau. The nearest larger city is Kaufbeuren, eleven kilometers away. Marktoberdorf plays host to the International Chamber Choir Competition Marktoberdorf every two years. In computer science, it is known for its hosting of the annual International Summer School Marktoberdorf every year since 1970. This Advanced Study Institute of the NATO Security Through Science Committee (now NATO Science for Peace) and the computer science department of the Technische Universität München is a two-week course for young computer scientists and mathematicians working in the field of formal systems development. Students are accommodated in the boarding house of the local high school, Gymnasium Marktoberdorf. Marktoberdorf is home to the tractor manufacturer Fendt, where its founder X ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of Uppsala University
An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logicians
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] |
Swedish Logicians
Swedish or ' may refer to: Anything from or related to Sweden, a country in Northern Europe. Or, specifically: * Swedish language, a North Germanic language spoken primarily in Sweden and Finland ** Swedish alphabet, the official alphabet used by the Swedish language * Swedish people or Swedes, persons with a Swedish ancestral or ethnic identity ** A national or citizen of Sweden, see demographics of Sweden ** Culture of Sweden * Swedish cuisine See also * * Swedish Church (other) * Swedish Institute (other) * Swedish invasion (other) * Swedish Open (other) Swedish Open is a tennis tournament. Swedish Open may also refer to: *Swedish Open (badminton) * Swedish Open (table tennis) *Swedish Open (squash) *Swedish Open (darts) The Swedish Open is a darts tournament established in 1969, held in Malmà ... {{disambig Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Swedish Mathematicians
Swedish or ' may refer to: Anything from or related to Sweden, a country in Northern Europe. Or, specifically: * Swedish language, a North Germanic language spoken primarily in Sweden and Finland ** Swedish alphabet, the official alphabet used by the Swedish language * Swedish people or Swedes, persons with a Swedish ancestral or ethnic identity ** A national or citizen of Sweden, see demographics of Sweden ** Culture of Sweden * Swedish cuisine See also * * Swedish Church (other) * Swedish Institute (other) * Swedish invasion (other) * Swedish Open (other) Swedish Open is a tennis tournament. Swedish Open may also refer to: *Swedish Open (badminton) * Swedish Open (table tennis) *Swedish Open (squash) *Swedish Open (darts) The Swedish Open is a darts tournament established in 1969, held in Malmà ... {{disambig Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homomorphisms
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" and () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German meaning "similar" to meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925). Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory. A homomorphism may also be an isomorphism, an endomorphism, an automorphism, etc. (see below). Each of those ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Domain Theory
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages. Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and is closely related to topology. Motivation and intuition The primary motivation for the study of domains, which was initiated by Dana Scott in the late 1960s, was the search for a denotational semantics of the lambda calculus. In this formalism, one considers "functions" specified by certain terms in the language. In a purely syntactic way, one can go from simple functions to functions that take other functions as their input arguments. Using again just the syntactic transformations available in this formalism, one can obtain s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sweden
Sweden, formally the Kingdom of Sweden,The United Nations Group of Experts on Geographical Names states that the country's formal name is the Kingdom of SwedenUNGEGN World Geographical Names, Sweden./ref> is a Nordic country located on the Scandinavian Peninsula in Northern Europe. It borders Norway to the west and north, Finland to the east, and is connected to Denmark in the southwest by a bridgetunnel across the Öresund. At , Sweden is the largest Nordic country, the third-largest country in the European Union, and the fifth-largest country in Europe. The capital and largest city is Stockholm. Sweden has a total population of 10.5 million, and a low population density of , with around 87% of Swedes residing in urban areas in the central and southern half of the country. Sweden has a nature dominated by forests and a large amount of lakes, including some of the largest in Europe. Many long rivers run from the Scandes range through the landscape, primarily ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John V
John V may refer to: * Patriarch John V of Alexandria or John the Merciful (died by 620), Patriarch of Alexandria from 606 to 616 * John V of Constantinople, Patriarch from 669 to 675 * Pope John V (685–686), Pope from 685 to his death in 686 * John V of Jerusalem, Greek Orthodox Patriarch of Jerusalem in 706–735 * John V the Historian or Hovhannes Draskhanakerttsi, Catholicos of Armenia from 897 to 925 * John V of Gaeta (1010–1040) * John V of Naples (died 1042), Duke from 1036 to 1042 * John V, Count of Soissons, (1281–1304) * John V, Margrave of Brandenburg-Salzwedel (1302–1317) * John V Palaiologos (1332–1391), Byzantine Emperor from 1341 * John V, Count of Sponheim-Starkenburg (1359–1437), German nobleman * John V, Lord of Arkel (1362–1428) * John V, Duke of Brittany (1389–1442), Count of Montfort * John V, Duke of Mecklenburg (1418–1443) * John V, Count of Hoya (died 1466), nicknamed ''the Pugnacious'' or ''the Wild'' * John V, Count of Armagnac (1420–1473 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Toronto
The University of Toronto (UToronto or U of T) is a public research university in Toronto, Ontario, Canada, located on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada. Originally controlled by the Church of England, the university assumed its present name in 1850 upon becoming a secular institution. As a collegiate university, it comprises eleven colleges each with substantial autonomy on financial and institutional affairs and significant differences in character and history. The university maintains three campuses, the oldest of which, St. George, is located in downtown Toronto. The other two satellite campuses are located in Scarborough and Mississauga. The University of Toronto offers over 700 undergraduate and 200 graduate programs. In all major rankings, the university consistently ranks in the top ten public universities in the world and as the top university ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
