|
Ruy De Queiroz
Ruy J. Guerra B. de Queiroz (born January 11, 1958 in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July. Ruy de Queiroz received his B.Eng in Electrical Engineering from Escola Politecnica de Pernambuco in 1980, his M.Sc in Informatics from Universidade Federal de Pernambuco in 1984, and his Ph.D in Computing from the Imperial College, London in 1990, for which he defended the Dissertation ''Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation''. Research profile In the late 1980s, Ruy de Queiroz has offered a reformulation of Martin-Löf type theory based on a novel reading of Wittgenstein’s "meaning-is-use", whe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ruy De Queiroz Bw , a chess opening named after the Spanish chess player
{{disamb, geo ...
Ruy may refer to: Arts and Entertainment * Ruy, the Little Cid, Spanish animated television series * Ruy Blas, a character in the eponymous tragic drama by Victor Hugo People *another form of Rui, a Portuguese male given name *another form of the Spanish male given name Rodrigo * Ruy López de Segura (1530-1580), Spanish chess player * Ruy Ramos (born 1957), Japanese footballer * Ruy (footballer) (born 1989), Brazilian footballer Places * Ruy, Isère, a commune in France * Ruy, Iran, a city in Iran * Ruy Special Town, a village in Iran * Ruy Mountain, a mountain on the border of Bulgaria and Serbia Other uses *Ruy Lopez The Ruy Lopez (; ), also called the Spanish Opening or Spanish Game, is a chess opening characterised by the moves: :1. e4 e5 :2. Nf3 Nc6 :3. Bb5 The Ruy Lopez is named after 16th-century Spanish priest Ruy López de Segura. It is one o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logicians
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophers Of Mathematics
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts. The philosophy of mathematics has two major themes: mathematical realism and mathematical anti-realism. History The origin of mathematics is subject to arguments and disagreements. Whether the birth of mathematics was a random happening or induced by necessity during the development of other subjects, like physics, is still a matter of prolific debates. Many thinkers have contributed their ideas concerning the nature of mathematics. Today, some philosophers of mathematics aim to give accounts of this form of inquiry and its products as they stand, while others emphasize a role for themselves that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Brazilian Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman em ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Footnotes
A note is a string of text placed at the bottom of a page in a book or document or at the end of a chapter, volume, or the whole text. The note can provide an author's comments on the main text or citations of a reference work in support of the text. Footnotes are notes at the foot of the page while endnotes are collected under a separate heading at the end of a chapter, volume, or entire work. Unlike footnotes, endnotes have the advantage of not affecting the layout of the main text, but may cause inconvenience to readers who have to move back and forth between the main text and the endnotes. In some editions of the Bible, notes are placed in a narrow column in the middle of each page between two columns of biblical text. Numbering and symbols In English, a footnote or endnote is normally flagged by a superscripted number immediately following that portion of the text the note references, each such footnote being numbered sequentially. Occasionally, a number between brack ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of London
The University of London (UoL; abbreviated as Lond or more rarely Londin in post-nominals) is a federal public research university located in London, England, United Kingdom. The university was established by royal charter in 1836 as a degree-awarding examination board for students holding certificates from University College London and King's College London and "other such other Institutions, corporate or unincorporated, as shall be established for the purpose of Education, whether within the Metropolis or elsewhere within our United Kingdom". This fact allows it to be one of three institutions to claim the title of the third-oldest university in England, and moved to a federal structure in 1900. It is now incorporated by its fourth (1863) royal charter and governed by the University of London Act 2018. It was the first university in the United Kingdom to introduce examinations for women in 1869 and, a decade later, the first to admit women to degrees. In 1913, it appointe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grigori Mints
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic. He was born in Leningrad, in the Soviet Union (now St. Petersburg, Russia), and received his Ph.D. in 1965 from the Leningrad State University under Nikolai Aleksandrovich Shanin with a thesis entitled "On Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc. from Leningrad State University with a thesis entitled "Proof Transformations and Synthesis of Programs". He was a Stanford University professor. Since 1991, Grigori "Grisha" Mints was a professor of philosophy and, by courtesy, of mathematics and of computer science at Stanford University. Before joining Stanford, Mints held research positions at the Steklov Mathematical Institute, Leningrad University, and the Estonian Academy of Sciences. Considered one of the most distinguished logicians in the world, Mints was passionate about the applicati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solomon Feferman
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. Life Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to the United States after World War I and had met and married in New York. Neither parent had any advanced education. The family moved to Los Angeles, where Feferman graduated from high school at age 16. He received his B.S. from the California Institute of Technology in 1948, and in 1957 his Ph.D. in mathematics from the University of California, Berkeley, under Alfred Tarski, after having been drafted and having served in the U.S. Army from 1953 to 1955. In 1956 he was appointed to the Departments of Mathematics and Philosophy at Stanford University, where he later became the Patrick Suppes Professor of Humanities and Sciences. Feferman died on 26 July 2016 at his home in Stanford, following an illness that lasted three months and a stroke ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stanford University
Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is considered among the most prestigious universities in the world. Stanford was founded in 1885 by Leland and Jane Stanford in memory of their only child, Leland Stanford Jr., who had died of typhoid fever at age 15 the previous year. Leland Stanford was a U.S. senator and former governor of California who made his fortune as a railroad tycoon. The school admitted its first students on October 1, 1891, as a coeducational and non-denominational institution. Stanford University struggled financially after the death of Leland Stanford in 1893 and again after much of the campus was damaged by the 1906 San Francisco earthquake. Following World War II, provost of Stanford Frederick Terman inspired and supported faculty and graduates' entrepreneu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sergei N
Sergius is a male given name of Ancient Roman origin after the name of the Latin ''gens'' Sergia or Sergii of regal and republican ages. It is a common Christian name, in honor of Saint Sergius, or in Russia, of Saint Sergius of Radonezh, and has been the name of four popes. It has given rise to numerous variants, present today mainly in the Romance (Serge, Sergio, Sergi) and Slavic languages (Serhii, Sergey, Serguei). It is not common in English, although the Anglo-French name Sergeant is possibly related to it. Etymology The name originates from the Roman ''nomen'' (patrician family name) ''Sergius'', after the name of the Roman ''gens'' of Latin origins Sergia or Sergii from Alba Longa, Old Latium, counted by Theodor Mommsen as one of the oldest Roman families, one of the original 100 ''gentes originarie''. It has been speculated to derive from a more ancient Etruscan name but the etymology of the nomen Sergius is problematic. Chase hesitantly suggests a connection with the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
