|
Gabriel Sudan
Gabriel Sudan (April 14, 1899 – June 22, 1977) was a Romanian mathematician, known for the Sudan function, an important example in the theory of computation, similar to the Ackermann function. Born in Bucharest, Sudan received his Ph.D. from the University of Göttingen in 1925 for his thesis ''Ãœber die geordneten Mengen'' ("On the theory of ordered sets"), supervised by David Hilbert. He taught at the Polytechnic University of Bucharest from 1941 until his retirement, in 1966. Sudan constructed the function that bears his name with the same aim as Wilhelm Ackermann: to solve in the affirmative a problem raised by Hilbert. The Ackermann and Sudan functions are chronologically the first examples of recursive functions which are not primitive recursive In computability theory, a primitive recursive function is roughly speaking a function that can be computed by a computer program whose loops are all "for" loops (that is, an upper bound of the number of iterations of e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Recursion (computer Science)
In computer science, recursion is a method of solving a computational problem where the solution depends on solutions to smaller instances of the same problem. Recursion solves such recursive problems by using functions that call themselves from within their own code. The approach can be applied to many types of problems, and recursion is one of the central ideas of computer science. Most computer programming languages support recursion by allowing a function to call itself from within its own code. Some functional programming languages (for instance, Clojure) do not define any looping constructs but rely solely on recursion to repeatedly call code. It is proved in computability theory that these recursive-only languages are Turing complete; this means that they are as powerful (they can be used to solve the same problems) as imperative languages based on control structures such as and . Repeatedly calling a function from within itself may cause the call stack to have a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Göttingen Alumni
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the designation is reserved for colleges that have a graduate school. The word ''university'' is derived from the Latin ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". The first universities were created in Europe by Catholic Church monks. The University of Bologna (''Università di Bologna''), founded in 1088, is the first university in the sense of: *Being a high degree-awarding institute. *Having independence from the ecclesiastic schools, although conducted by both clergy and non-clergy. *Using the word ''universitas'' (which was coined at its foundation). *Issuing secular and non-secular degrees: grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The university i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scientists From Bucharest
A scientist is a person who conducts scientific research to advance knowledge in an area of the natural sciences. In classical antiquity, there was no real ancient analog of a modern scientist. Instead, philosophers engaged in the philosophical study of nature called natural philosophy, a precursor of natural science. Though Thales (circa 624-545 BC) was arguably the first scientist for describing how cosmic events may be seen as natural, not necessarily caused by gods,Frank N. Magill''The Ancient World: Dictionary of World Biography'', Volume 1 Routledge, 2003 it was not until the 19th century that the term ''scientist'' came into regular use after it was coined by the theologian, philosopher, and historian of science William Whewell in 1833. In modern times, many scientists have advanced degrees in an area of science and pursue careers in various sectors of the economy such as academia, industry, government, and nonprofit environments.'''' History The roles ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1977 Deaths
Events January * January 8 – Three bombs explode in Moscow within 37 minutes, killing seven. The bombings are attributed to an Armenian separatist group. * January 10 – Mount Nyiragongo erupts in eastern Zaire (now the Democratic Republic of the Congo). * January 17 ** 49 marines from the and are killed as a result of a collision in Barcelona harbour, Spain. * January 18 ** Scientists identify a previously unknown bacterium as the cause of the mysterious Legionnaires' disease. ** Australia's worst railway disaster at Granville, a suburb of Sydney, leaves 83 people dead. ** SFR Yugoslavia Prime minister Džemal Bijedić, his wife and 6 others are killed in a plane crash in Bosnia and Herzegovina. * January 19 – An Ejército del Aire CASA C-207C Azor (registration T.7-15) plane crashes into the side of a mountain near Chiva, on approach to Valencia Airport in Spain, killing all 11 people on board. * January 20 – Jimmy Carter is sworn in as the 39th Preside ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1899 Births
Events January 1899 * January 1 ** Spanish rule ends in Cuba, concluding 400 years of the Spanish Empire in the Americas. ** Queens and Staten Island become administratively part of New York City. * January 2 – **Bolivia sets up a customs office in Puerto Alonso, leading to the Brazilian settlers there to declare the Republic of Acre in a revolt against Bolivian authorities. **The first part of the Jakarta Kota–Anyer Kidul railway on the island of Java is opened between Batavia Zuid ( Jakarta Kota) and Tangerang. * January 3 – Hungarian Prime Minister DezsÅ‘ Bánffy fights an inconclusive duel with his bitter enemy in parliament, Horánszky Nándor. * January 4 – **U.S. President William McKinley's declaration of December 21, 1898, proclaiming a policy of benevolent assimilation of the Philippines as a United States territory, is announced in Manila by the U.S. commander, General Elwell Otis, and angers independence activists who had fought against ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Historia Mathematica
''Historia Mathematica: International Journal of History of Mathematics'' is an academic journal on the history of mathematics published by Elsevier. It was established by Kenneth O. May in 1971 as the free newsletter ''Notae de Historia Mathematica'', but by its sixth issue in 1974 had turned into a full journal. The International Commission on the History of Mathematics began awarding the Montucla Prize, for the best article by an early career scholar in ''Historia Mathematica'', in 2009. The award is given every four years. Editors The editors of the journal have been: * Kenneth O. May, 1974–1977 * Joseph W. Dauben, 1977–1985 * Eberhard Knobloch, 1985–1994 * David E. Rowe, 1994–1996 * Karen Hunger Parshall, 1996–2000 * Craig Fraser and Umberto Bottazzini, 2000–2004 * Craig Fraser, 2004–2007 * Benno van Dalen, 2007–2009 * June Barrow-Green and Niccolò Guicciardini, 2010–2013 * Niccolò Guicciardini and Tom Archibald, 2013-2015 * Tom Archibald and Reinha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematische Annalen
''Mathematische Annalen'' (abbreviated as ''Math. Ann.'' or, formerly, ''Math. Annal.'') is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann. Subsequent managing editors were Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück, and Nigel Hitchin. Currently, the managing editor of Mathematische Annalen is Thomas Schick. Volumes 1–80 (1869–1919) were published by Teubner. Since 1920 (vol. 81), the journal has been published by Springer. In the late 1920s, under the editorship of Hilbert, the journal became embroiled in controversy over the participation of L. E. J. Brouwer on its editorial board, a spillover from the foundational Brouwer–Hilbert controversy. Between 1945 and 1947 the journal briefly ceased publication. References External links''Mathematische Annalen''homepage at Springer''Mathematische Annalen''archive (1869†... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Primitive Recursive Function
In computability theory, a primitive recursive function is roughly speaking a function that can be computed by a computer program whose loops are all "for" loops (that is, an upper bound of the number of iterations of every loop can be determined before entering the loop). Primitive recursive functions form a strict subset of those general recursive functions that are also total functions. The importance of primitive recursive functions lies in the fact that most computable functions that are studied in number theory (and more generally in mathematics) are primitive recursive. For example, addition and division, the factorial and exponential function, and the function which returns the ''n''th prime are all primitive recursive. In fact, for showing that a computable function is primitive recursive, it suffices to show that its time complexity is bounded above by a primitive recursive function of the input size. It is hence not that easy to devise a computable function that is ''n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wilhelm Ackermann
Wilhelm Friedrich Ackermann (; ; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. Biography Ackermann was born in Herscheid, Germany, and was awarded a Ph.D. by the University of Göttingen in 1925 for his thesis ''Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit'', which was a consistency proof of arithmetic apparently without Peano induction (although it did use e.g. induction over the length of proofs). This was one of two major works in proof theory in the 1920s and the only one following Hilbert's school of thought. From 1929 until 1948, he taught at the Arnoldinum Gymnasium in Burgsteinfurt, and then at Lüdenscheid until 1961. He was also a corresponding member of the Akademie der Wissenschaften (''Academy of Sciences'') in Göttingen, and was an honorary professor at the Unive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Romania
Romania ( ; ro, România ) is a country located at the crossroads of Central Europe, Central, Eastern Europe, Eastern, and Southeast Europe, Southeastern Europe. It borders Bulgaria to the south, Ukraine to the north, Hungary to the west, Serbia to the southwest, Moldova to the east, and the Black Sea to the southeast. It has a predominantly Temperate climate, temperate-continental climate, and an area of , with a population of around 19 million. Romania is the List of European countries by area, twelfth-largest country in Europe and the List of European Union member states by population, sixth-most populous member state of the European Union. Its capital and largest city is Bucharest, followed by Iași, Cluj-Napoca, Timișoara, Constanța, Craiova, Brașov, and Galați. The Danube, Europe's second-longest river, rises in Germany's Black Forest and flows in a southeasterly direction for , before emptying into Romania's Danube Delta. The Carpathian Mountains, which cross Roma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_-_09.JPG "Click for more on -> University Of Göttingen Alumni")
