|
1936 In Science
The year 1936 in science and technology involved some significant events, listed below. Chemistry * February 4 – Radium E (bismuth-210) becomes the first radioactive element to be made synthetically. * December 23 – The first nerve agent, Tabun, is discovered (accidentally) by a research team headed by Dr Gerhard Schrader of IG Farben in Germany. Computer science * May 28 – Alan Turing's paper "On Computable Numbers" is received by the London Mathematical Society for publication, introducing the concept of the theoretical "a tomaticmachine" or Turing machine. Its formal publication is on November 12. * Rózsa Péter presents a paper entitled "Über rekursive Funktionen der zweite Stufe" to the International Congress of Mathematicians in Oslo, helping to found the modern field of recursive function theory. Earth sciences * Inge Lehmann argues that the Earth's molten interior has a solid inner core. History of science and technology * Economist John Maynard Keynes buy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inge Lehmann
Inge Lehmann (13 May 1888 – 21 February 1993) was a Danish seismologist and geophysicist who is known for her discovery in 1936 of the solid inner core that exists within the molten outer core of the Earth. The seismic discontinuity in the speed of seismic waves at depths between 190 and 250 km is named the Lehmann discontinuity after her. Lehmann is considered to be a pioneer among women and scientists in seismology research. Early life and education Inge Lehmann was born on 13 May 1888 and grew up in Østerbro, a part of Copenhagen, Denmark. Her mother, Ida Sophie Tørsleff, was a housewife; her father was experimental psychologist Alfred Georg Ludvik Lehmann (1858–1921), a pioneer in the study of experimental psychology in Denmark. The Lehmann family had its roots in Bohemia; the Danish branch included barristers, politicians and engineers. Inge Lehmann's paternal grandfather laid out the first Danish telegraph line (1854) and her great-grandfather was Governor of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brazil
Brazil, officially the Federative Republic of Brazil, is the largest country in South America. It is the world's List of countries and dependencies by area, fifth-largest country by area and the List of countries and dependencies by population, seventh-largest by population, with over 212 million people. The country is a federation composed of 26 Federative units of Brazil, states and a Federal District (Brazil), Federal District, which hosts the capital, Brasília. List of cities in Brazil by population, Its most populous city is São Paulo, followed by Rio de Janeiro. Brazil has the most Portuguese-speaking countries, Portuguese speakers in the world and is the only country in the Americas where Portuguese language, Portuguese is an Portuguese-speaking world, official language. Bounded by the Atlantic Ocean on the east, Brazil has a Coastline of Brazil, coastline of . Covering roughly half of South America's land area, it Borders of Brazil, borders all other countries and ter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Llewellyn Ivor Price
Llewellyn Ivor Price (October 9, 1905 – June 9, 1980) was one of the first Brazilian paleontologists. His work contributed not only to the development of Brazilian but also to global paleontology. He collected ''Staurikosaurus'' in 1936, the first dinosaur discovered in Brazil. Biography Price was born in Santa Maria on October 9, 1905. The son of American parents, he studied chemistry and graduated in zoology and geology in the United States. After being professor at Harvard he returned to Brazil. He died of a heart attack in Rio de Janeiro Rio de Janeiro, or simply Rio, is the capital of the Rio de Janeiro (state), state of Rio de Janeiro. It is the List of cities in Brazil by population, second-most-populous city in Brazil (after São Paulo) and the Largest cities in the America ... on June 9, 1980, aged 74. The Paleontological Research Center "Llewellyn Ivor Price" established in Peirópolis in 1991, was named in honor of Price. Awards * In 1980 he was award ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Staurikosaurus
''Staurikosaurus'' (Pronounced /ˌstɔɹ̠ikoʊˈsɔɹ̠ʌs/, '' STOR-ree-koh-SOR-ruhs''; "Southern Cross lizard") is a genus of herrerasaurid dinosaur from the Late Triassic of Brazil, found in the Santa Maria Formation. Description Colbert (1970) described ''Staurikosaurus'' as a small and agile, bipedal predator.Colbert, E. H. (1970). A Saurischian dinosaur from the Triassic of Brazil. AM. MUS. NOVITATES 2405; 1-39 ''Staurikosaurus'' lived during the late-Carnian and early-Norian stage, of the Late Triassic, approximately 225 million years ago—which makes it one of the earliest dinosaurs known. Its length is measured at long,Grillo, O.N. and Azevedo, S.A.K. (2011). "Recovering missing data: estimating position and size of caudal vertebrae in ''Staurikosaurus pricei'' Colbert, 1970." ''Annals of the Brazilian Academy of Sciences'', but Gregory S. Paul presented a lower length estimate of and a body mass estimate of . ''Staurikosaurus'' was small in comparison to later t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triassic
The Triassic ( ; sometimes symbolized 🝈) is a geologic period and system which spans 50.5 million years from the end of the Permian Period 251.902 million years ago ( Mya), to the beginning of the Jurassic Period 201.4 Mya. The Triassic is the first and shortest period of the Mesozoic Era and the seventh period of the Phanerozoic Eon. Both the start and end of the period are marked by major extinction events. The Triassic Period is subdivided into three epochs: Early Triassic, Middle Triassic and Late Triassic. The Triassic began in the wake of the Permian–Triassic extinction event, which left the Earth's biosphere impoverished; it was well into the middle of the Triassic before life recovered its former diversity. Three categories of organisms can be distinguished in the Triassic record: survivors from the extinction event, new groups that flourished briefly, and other new groups that went on to dominate the Mesozoic Era. Reptiles, especially archosaurs, were the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Meijer G-function
In mathematics, the G-function was introduced by as a very general function intended to include most of the known special functions as particular cases. This was not the only attempt of its kind: the generalized hypergeometric function and the MacRobert E-function had the same aim, but Meijer's G-function was able to include those as particular cases as well. The first definition was made by Meijer using a series; nowadays the accepted and more general definition is via a line integral in the complex plane, introduced in its full generality by Arthur Erdélyi in 1953. With the modern definition, the majority of the established special functions can be represented in terms of the Meijer G-function. A notable property is the closure of the set of all G-functions not only under differentiation but also under indefinite integration. In combination with a functional equation that allows to liberate from a G-function ''G''(''z'') any factor ''z''''ρ'' that is a constant power of i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cornelis Simon Meijer
Cornelis Simon Meijer (17 August 1904, Pieterburen – 12 April 1974) was a Dutch mathematician at the University of Groningen who introduced the Meijer G-function, a very general function that includes most of the elementary and higher mathematical functions as special cases; he also introduced generalizations of the Laplace transform In mathematics, the Laplace transform, named after Pierre-Simon Laplace (), is an integral transform that converts a Function (mathematics), function of a Real number, real Variable (mathematics), variable (usually t, in the ''time domain'') to a f ... that are referred to as Meijer transforms. References * External links * 1904 births 1974 deaths People from De Marne University of Groningen alumni Academic staff of the University of Groningen 20th-century Dutch mathematicians {{mathematician-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Symbolic Logic
The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zentralblatt MATH, and Scopus. Its 2009 MCQ was 0.28, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ... was 0.631. External links * Mathematical logic journals Academic journals established in 1936 Multilingual journals Quarterly journals Association for Symbolic Logic academic journals Logic journals Cambridge University Press academic journals {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Entscheidungsproblem
In mathematics and computer science, the ; ) is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. It asks for an algorithm that considers an inputted statement and answers "yes" or "no" according to whether it is universally valid, i.e., valid in every Structure (mathematical logic), structure. Such an algorithm was proven to be impossible by Alonzo Church and Alan Turing in 1936. Completeness theorem By Gödel's completeness theorem, the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced using logical rules and axioms, so the ' can also be viewed as asking for an algorithm to decide whether a given statement is provable using the rules of logic. In 1936, Alonzo Church and Alan Turing published independent papers showing that a general solution to the ' is impossible, assuming that the intuitive notion of "effectively calculable" is captured by the functions computable by a Turing machine (or equivalently, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the ''Entscheidungsproblem'' ("decision problem"), the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science. Life Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was a justice of the peace and the judge of the Municipal Court for the District of Columbia. He was the grandson of Alonzo Webster Church (1829–1909), United States Senate Librarian from 1881 to 1901, and great-grandson of Alonzo Church, a professor of Mathematics and Astronomy and 6th President of the University of Ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isaac Newton
Sir Isaac Newton () was an English polymath active as a mathematician, physicist, astronomer, alchemist, theologian, and author. Newton was a key figure in the Scientific Revolution and the Age of Enlightenment, Enlightenment that followed. His book (''Mathematical Principles of Natural Philosophy''), first published in 1687, achieved the Unification of theories in physics#Unification of gravity and astronomy, first great unification in physics and established classical mechanics. Newton also made seminal contributions to optics, and Leibniz–Newton calculus controversy, shares credit with German mathematician Gottfried Wilhelm Leibniz for formulating calculus, infinitesimal calculus, though he developed calculus years before Leibniz. Newton contributed to and refined the scientific method, and his work is considered the most influential in bringing forth modern science. In the , Newton formulated the Newton's laws of motion, laws of motion and Newton's law of universal g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
