HOME
*





Gaisi Takeuti
was a Japanese mathematician, known for his work in proof theory. After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana–Champaign. Takeuti was president (2003–2009) of the Kurt Gödel Society, having worked on the book ''Memoirs of a Proof Theorist: Godel and Other Logicians''. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination The cut-elimination theorem (or Gentzen's ''Hauptsatz'') is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen in his landmark 1934 paper "Investigations in Logical Deduction" for ..... An erratum to this article was published in the same journal as . He is also known for his work on ordinal diagrams with Akiko Kino. Publications * * * 2013 Dover repr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cut-elimination Theorem
The cut-elimination theorem (or Gentzen's ''Hauptsatz'') is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen in his landmark 1934 paper "Investigations in Logical Deduction" for the systems LJ and LK formalising intuitionistic and classical logic respectively. The cut-elimination theorem states that any judgement that possesses a proof in the sequent calculus making use of the cut rule also possesses a cut-free proof, that is, a proof that does not make use of the cut rule. The cut rule A sequent is a logical expression relating multiple formulas, in the form , which is to be read as proves , and (as glossed by Gentzen) should be understood as equivalent to the truth-function "If (A_1 and A_2 and A_3 …) then (B_1 or B_2 or B_3 …)." Note that the left-hand side (LHS) is a conjunction (and) and the right-hand side (RHS) is a disjunction (or). The LHS may have arbitrarily many or few formulae; when the LH ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Proof Theorists
Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a construct in proof theory * Mathematical proof, a convincing demonstration that some mathematical statement is necessarily true * Proof complexity, computational resources required to prove statements * Proof procedure, method for producing proofs in proof theory * Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects * Statistical proof, demonstration of degree of certainty for a hypothesis Law and philosophy * Evidence, information which tends to determine or demonstrate the truth of a proposition * Evidence (law), tested evidence or a legal proof * Legal burden of proof, duty to establish the truth of facts in a trial * Philosophic burden of proof, obligation on a party in a dispute to provide ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Japanese Philosophers
Japanese may refer to: * Something from or related to Japan, an island country in East Asia * Japanese language, spoken mainly in Japan * Japanese people, the ethnic group that identifies with Japan through ancestry or culture ** Japanese diaspora, Japanese emigrants and their descendants around the world * Japanese citizens, nationals of Japan under Japanese nationality law ** Foreign-born Japanese, naturalized citizens of Japan * Japanese writing system, consisting of kanji and kana * Japanese cuisine, the food and food culture of Japan See also * List of Japanese people * * Japonica (other) * Japonicum * Japonicus * Japanese studies Japanese studies (Japanese: ) or Japan studies (sometimes Japanology in Europe), is a sub-field of area studies or East Asian studies involved in social sciences and humanities research on Japan. It incorporates fields such as the study of Japanese ... {{disambiguation Language and nationality disambiguation pages ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Japanese Logicians
Japanese may refer to: * Something from or related to Japan, an island country in East Asia * Japanese language, spoken mainly in Japan * Japanese people, the ethnic group that identifies with Japan through ancestry or culture ** Japanese diaspora, Japanese emigrants and their descendants around the world * Japanese citizens, nationals of Japan under Japanese nationality law ** Foreign-born Japanese, naturalized citizens of Japan * Japanese writing system, consisting of kanji and kana * Japanese cuisine, the food and food culture of Japan See also * List of Japanese people * * Japonica (other) * Japonicum * Japonicus * Japanese studies Japanese studies ( Japanese: ) or Japan studies (sometimes Japanology in Europe), is a sub-field of area studies or East Asian studies involved in social sciences and humanities research on Japan. It incorporates fields such as the study of Japan ... {{disambiguation Language and nationality disambiguation pages ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


2017 Deaths
This is a list of deaths of notable people, organised by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked here. 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 See also * Lists of deaths by day The following pages, corresponding to the Gregorian calendar, list the historical events, births, deaths, and holidays and observances of the specified day of the year: Footnotes See also * Leap year * List of calendars * List of non-standard ... * Deaths by year {{DEFAULTSORT:deaths by year ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

1926 Births
Events January * January 3 – Theodoros Pangalos (general), Theodoros Pangalos declares himself dictator in Greece. * January 8 **Abdul-Aziz ibn Saud is crowned King of Kingdom of Hejaz, Hejaz. ** Bảo Đại, Crown Prince Nguyễn Phúc Vĩnh Thuy ascends the throne, the last monarch of Vietnam. * January 12 – Freeman Gosden and Charles Correll premiere their radio program ''Sam 'n' Henry'', in which the two white performers portray two black characters from Harlem looking to strike it rich in the big city (it is a precursor to Gosden and Correll's more popular later program, ''Amos 'n' Andy''). * January 16 – A BBC comic radio play broadcast by Ronald Knox, about a workers' revolution, causes a panic in London. * January 21 – The Belgian Parliament accepts the Locarno Treaties. * January 26 – Scottish inventor John Logie Baird demonstrates a mechanical television system at his London laboratory for members of the Royal Institution and a report ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Japanese Journal Of Mathematics
Japanese may refer to: * Something from or related to Japan, an island country in East Asia * Japanese language, spoken mainly in Japan * Japanese people, the ethnic group that identifies with Japan through ancestry or culture ** Japanese diaspora, Japanese emigrants and their descendants around the world * Japanese citizens, nationals of Japan under Japanese nationality law ** Foreign-born Japanese, naturalized citizens of Japan * Japanese writing system, consisting of kanji and kana * Japanese cuisine, the food and food culture of Japan See also * List of Japanese people * * Japonica (other) * Japonicum * Japonicus * Japanese studies Japanese studies ( Japanese: ) or Japan studies (sometimes Japanology in Europe), is a sub-field of area studies or East Asian studies involved in social sciences and humanities research on Japan. It incorporates fields such as the study of Japan ... {{disambiguation Language and nationality disambiguation pages ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ordinal Notation
In mathematical logic and set theory, an ordinal notation is a partial function mapping the set of all finite sequences of symbols, themselves members of a finite alphabet, to a countable set of ordinals. A Gödel numbering is a function mapping the set of well-formed formulae (a finite sequence of symbols on which the ordinal notation function is defined) of some formal language to the natural numbers. This associates each well-formed formula with a unique natural number, called its Gödel number. If a Gödel numbering is fixed, then the subset relation on the ordinals induces an ordering on well-formed formulae which in turn induces a well-ordering on the subset of natural numbers. A recursive ordinal notation must satisfy the following two additional properties: # the subset of natural numbers is a recursive set # the induced well-ordering on the subset of natural numbers is a recursive relation There are many such schemes of ordinal notations, including schemes by Wilhelm Acke ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Second-order Logic
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence \forall P\,\forall x (Px \lor \neg Px) says that for every formula ''P'', and every individual ''x'', either ''Px'' is true or not(''Px'') is true (this is the law of excluded middle). Second-order logic also includes quantification over sets, functions, and other variables (see section below). Both first-order and second-order logic use the idea of a domain of discourse (often called simply the "domain" or the "universe"). The domain is a set over which individual elements may be quantified. Examples First-order logic can quantify over individuals, bu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Proof Theory
Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". of mathematical logic that represents Mathematical proof, proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as Recursive data type, inductively-defined data structures such as list (computer science), lists, boxed lists, or Tree (data structure), trees, which are constructed according to the axioms and rule of inference, rules of inference of the logical system. Consequently, proof theory is syntax (logic), syntactic in nature, in contrast to model theory, which is Formal semantics (logic), semantic in nature. Some of the major areas of proof theory include structural proof theory, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Sequent Calculus
In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology. Each conditional tautology is inferred from other conditional tautologies on earlier lines in a formal argument according to rules and procedures of inference, giving a better approximation to the natural style of deduction used by mathematicians than to David Hilbert's earlier style of formal logic, in which every line was an unconditional tautology. More subtle distinctions may exist; for example, propositions may implicitly depend upon non-logical axioms. In that case, sequents signify conditional theorems in a first-order language rather than conditional tautologies. Sequent calculus is one of several extant styles of proof calculus for expressing line-by-line logical arguments. * Hilbert style. Every line is an unconditional tautology (or theorem). * Gentzen s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]