41. Automated Theorem Proving Bertrand Russell, herbrand's theorem, and the assignment statement. In jacques Calmetand Jan Plaza, editors, Artificial Intelligence and Symbolic Computation http://comet.lehman.cuny.edu/fitting/bookspapers/automated.html

Automated Theorem Proving Higher-Order Modal Logic-A Sketch, Automated Deduction in Classical and Non-Classical Logics , Springer Lecture Notes in Artificial Intelligence 1761, pp 2338, 1998. Bertrand Russell, Herbrand's theorem, and the assignment statement. In Jacques Calmet and Jan Plaza, editors, ... Journal of Automated Reasoning coauthored with Wiktor Marek, and Miroslav Truszczynski. The pure logic of necessitation. Journal of Logic and Computation Destructive modal resolution. Journal of Logic and Computation First-order modal tableaux. Journal of Automated Reasoning Intuitionistic resolution. Atti Degli Incontri di Logica Matematica Resolution for intuitionistic logic. In Zbigniew W. Ras and Maria Zemankova, editors, Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems 1987 , pages 400407, Amsterdam, 1987. North-Holland. A tableau system for propositional S5. Notre Dame Journal of Formal Logic Tableau methods of proof for modal logics. Notre Dame Journal of Formal Logic A tableau proof method admitting the empty domain.

42. Biographies Of Computer Pioneers A-J inventor of fax machine; Henry, Joseph;; herbrand, jacques;; Heronof Alexandria; Greek mechanician and inventor; Herschel, John;; Herz http://www.thocp.net/biographies/biographies.htm

Biographies Pioneers of computing A-J This index mentions most of the computer pioneers and their inventions, or other important people in computers or computing industry. Due to the length of the index we have cut the index into two parts: [A-J] and [K-Z] you can navigate through both parts via the alfabeth icon (see below) from both pages; they have identical mappings. Sometimes a link will bring you to external sites, use the back button of your browser to come back. If you see in-active or un-linked pages, they are either under revision or will be added in the future. So come back often, or press the what's new hotspot on the main page Recently we have added a list of historic papers as they are referenced via the biographies, readers asked us to insert an index page for easier retrieval: Though we think this list to be fairly complete please mail us if you find omissions. A Aiken, Howard A. Harvard Mark I Alkhowarizmi mathematics

43. Virtueller Stadtrundgang In Hamburg - Kulturgeschichte, Naturwissenschaft Und Te herbrand, jacques (1908-1931 http://www.math.uni-hamburg.de/math/ign/hh/1bio.htm

Fachbereich 11 - Mathematik HVV Tel.: +49 40 42838-2094 D-20146 Hamburg Fax: +49 40 42838-5260 Virtueller Stadtrundgang in Hamburg Kulturgeschichte Naturwissenschaften Technik und Verkehr Credits Personen Personen A B C ... Z Astronom, Astrophysiker Physiker Mathematiker, Rechenmeister oder Computerpionier/Informatiker Chemiker (auch chem. Industrie) Biologe, Zoologe, Botaniker Mediziner, Arzt, Physikus, Apotheker Geowissenschaftler, Seismologe, Kartograph, Meteorologe, Polarforscher, Seewarte Ingenieur, Techniker, Erfinder, Konstrukteur, Industrieller Siehe auch: Institutionen, Firmen, Themen Literatur A Abbe, Ernst (1840-1905) > Abbestr., Ottensen Aepinus, Johannes (1499-1553) - luth. Theologe, Superintendent in Hamburg Ambronn, Leopold Friedrich Anton (1854-1930) - Astronom in Hamburg, Ass., Obs. 1880-1897 Artin, Emil (1898-1962) - Mathematiker, Prof. in Hamburg, vgl. Artin, Emil B Baade, Walter (1893-1960) - Astrophysiker in Hamburg, 1919-1932, 1955 Bruce-Medaille Bagge, Erich (* 1912) - Physiker, auch Astronom Baule, B. (1891-1976) - Mathematiker, promovierte 1920 in Hamburg

44. Index For Surnames Beginning With H (Pedigree Pages) 1859) HEBERT, jacques HEBERT, Malvina (b. ABT d. 7 JUL 1934) Herbert, Jean BaptisteHerbey, Bonnie Herbey, Edith Irene (b. Not Shown) herbrand, AARON JAMES http://www.ged4web.com/derik/l_h.htm

Index for surnames beginning with H (Pedigree Pages) Individuals marked with a red dot are direct ancestors of Derik Austen Papineau For privacy reasons, Date of Birth and Date of Marriage for persons believed to still be living are not shown. A B C D ... Haener, Kelly (b. Not Shown) HAHN, GINA MARIE (b. Not Shown) HAHN, KAYLA RENEE (b. Not Shown) HAHN, RONALD (b. Not Shown) HAHN, STACY LEA (b. Not Shown) Halbritter, David (b. Not Shown) HALL, ERNA E. (b. 29 APR 1897 - d. 30 SEP 1918) HALL, ODNA EMMA (b. 16 JAN 1892 - d. 17 APR 1978) Hall, Pam (b. Not Shown) HALL, RENA LOIS (b. 6 JAN 1911) HALL, ROBERT (b. 22 DEC 1867 - d. 3 JAN 1939) HALL, ROBERT HARVEY (b. 30 MAR 1893 - d. 29 MAY 1985) HALL, UNA HAZEL (b. 6 OCT 1901) HALL, VANDA BELL (b. 7 OCT 1909) HALL, VERA E. (b. 3 MAR 1899 - d. 1 MAY 1975) Hamel, Daniel Hamel, Denise Hamel, François HAMEL, Frederic (b. ABT. 1867) Hamel, Gerald Hamel, Julienne (b. BET. 1844 - 1845) Hamel, Lise Hamel, Marguerite (b. 1885 - d. 1980) Hamel, Michael Hamel, Paul HAMEL, Rose Alma (b. ABT. 1893) Hamilton, Cebran Hamilton, Makenna Rain (b. Not Shown) HAMILTON, MARIE LOUISE

45. Index Des Noms Commençant Par Un H (Ascendance Pages) Translate this page 1859) HEBERT, jacques HEBERT, Malvina (n. ABT. 7 JUL 1934) Herbert, Jean BaptisteHerbey, Bonnie Herbey, Edith Irene (n. Non Montré) herbrand, AARON JAMES http://www.ged4web.com/derik/fl_h.htm

Index des noms commençant par un H (Ascendance Pages) Les individus marqués d'un point rouge , sont les ancêtres directs de Derik Austen Papineau Pour des raisons de vie privée, les dates de naissance et de mariage des personnes censées être encore en vie ne sont pas affichées.. A B C D ... Haener, Kelly (n. Non Montré) HAHN, GINA MARIE (n. Non Montré) HAHN, KAYLA RENEE (n. Non Montré) HAHN, RONALD (n. Non Montré) HAHN, STACY LEA (n. Non Montré) Halbritter, David (n. Non Montré) HALL, ERNA E. (n. 29 APR 1897 - d. 30 SEP 1918) HALL, ODNA EMMA (n. 16 JAN 1892 - d. 17 APR 1978) Hall, Pam (n. Non Montré) HALL, RENA LOIS (n. 6 JAN 1911) HALL, ROBERT (n. 22 DEC 1867 - d. 3 JAN 1939) HALL, ROBERT HARVEY (n. 30 MAR 1893 - d. 29 MAY 1985) HALL, UNA HAZEL (n. 6 OCT 1901) HALL, VANDA BELL (n. 7 OCT 1909) HALL, VERA E. (n. 3 MAR 1899 - d. 1 MAY 1975) Hamel, Daniel Hamel, Denise Hamel, François HAMEL, Frederic (n. ABT. 1867) Hamel, Gerald Hamel, Julienne (n. BET. 1844 - 1845) Hamel, Lise Hamel, Marguerite (n. 1885 - d. 1980) Hamel, Michael Hamel, Paul HAMEL, Rose Alma (n. ABT. 1893) Hamilton, Cebran

46. Full Alphabetical Index 157*) Helmholtz, Hermann von (120*) Heng, Zhang (228*) Henrici, Olaus (117*) Hensel,Kurt (252*) Heraclides of Pontus (773*) herbrand, jacques (376*) Hérigone http://alas.matf.bg.ac.yu/~mm97106/math/alphalist.htm

Full Alphabetical Index The number of words in the biography is given in brackets. A * indicates that there is a portrait. A Abbe , Ernst (602*) Abel , Niels Henrik (2899*) Abraham bar Hiyya (641) Abraham, Max Abu Kamil Shuja (1012) Abu Jafar Abu'l-Wafa al-Buzjani (1115) Ackermann , Wilhelm (205) Adams, John Couch Adams, J Frank Adelard of Bath (1008) Adler , August (114) Adrain , Robert (79*) Adrianus , Romanus (419) Aepinus , Franz (124) Agnesi , Maria (2018*) Ahlfors , Lars (725*) Ahmed ibn Yusuf (660) Ahmes Aida Yasuaki (696) Aiken , Howard (665*) Airy , George (313*) Aitken , Alec (825*) Ajima , Naonobu (144) Akhiezer , Naum Il'ich (248*) al-Baghdadi , Abu (947) al-Banna , al-Marrakushi (861) al-Battani , Abu Allah (1333*) al-Biruni , Abu Arrayhan (3002*) al-Farisi , Kamal (1102) al-Haitam , Abu Ali (2490*) al-Hasib Abu Kamil (1012) al-Haytham , Abu Ali (2490*) al-Jawhari , al-Abbas (627) al-Jayyani , Abu (892) al-Karaji , Abu (1789) al-Karkhi al-Kashi , Ghiyath (1725*) al-Khazin , Abu (1148) al-Khalili , Shams (677) al-Khayyami , Omar (2140*) al-Khwarizmi , Abu (2847*) al-Khujandi , Abu (713) al-Kindi , Abu (1151) al-Kuhi , Abu (1146) al-Maghribi , Muhyi (602) al-Mahani , Abu (507) al-Marrakushi , ibn al-Banna (12)

47. Planning Des Salles Translate this page jacques herbrand brillant mathématicien mort dans un accident de montagne àl'âge de 24 ans, dans les années 30, après avoir écrit plusieurs livres. http://iml.univ-mrs.fr/seminaires/Planning/planning.html

/HEURES LUNDI MARDI MERCREDI JEUDI VENDREDI 9 h 00 9 h 30 10 h 00 M. Puschnigg Cours DEA 10 h 30 11 h 00 D.A.C. 11 h 30 12 h 00 12 h 30 13 h 00 13 h 30 14 h 00 S.G.T. Groupe Tous les lundis L.D.P. 27 mars 2003 FRUMAM-LIF 14 h 30 G.N.C. 15 h 00 15 h 30 16 h 00 16 h 30 17 h 00 17 h 30 18 h 00 18 h 30 19 h 00 AMPHITHEATRE HERBRAND /HEURES LUNDI MARDI MERCREDI JEUDI VENDREDI 9 h 00 9 h 30 10 h 00 L.D.P. le 6 mars Groupe de travail L. Regnier : 10 h 30 11 h 00 11 h 30 12 h 00 12 h 30 13 h 00 13 h 30 14 h 00 14 h 30 A.T.I. le 13 mars M. Perret Chevalley-Warning 15 h 00 15 h 30 16 h 00 le 6 Mars MAGMA : M. Raffinot d'Evry) : An Algorithmic View of Gene Team 16 h 30 17 h 00 17 h 30 18 h 00 18 h 30 19 h 00 Jacques Herbrand

48. From Frege To Goedel Translate this page (Über die mathematische Logik, Norsk matematisk tidsskrift 10.) herbrand, jacques,Investigations in proof theory The properties of true propositions, 1930. http://www.fuchu.or.jp/~d-logic/en/books/ftog.html

HEIJENOORT, Jean van, (ed.), Harvard Univ. Press, 1967 ; 3rd Pr., 1977. This book contains some 40 articles. Each of them contributes more or less to the development of mathematical logic. CONTENTS FREGE, Gottlob Begriffsschrift , a formula language, modeled upon that of arithmetic, for pure thought, 1879. tr. by Stefan Bauer-Mengelberg. ( Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , Halle ; reprinted in , ed. by Ignacio ANGELELLI, Hildesheim, Olms, 1964.) PEANO, Guiseppe The principles of arithmetic by a new method, 1889. tr. by Jean van Heijenoort. ( Arithmetices principia, nova methodo exposita , Turin ; reprinted in Opera scelte , vol. 2, Edizioni cremonese, 1958.) DEDEKIND, Richard Letter to Keferstein, 1890. BURALI-FORTI, Cesare A question on transfinite numbers, 1897. tr. by Jean van Heijenoort. (Una questione sui numeri transfiniti, Rendiconti del Circolo matematico di Palermo 11 CANTOR, Georg Letter to Dedekind, 1899. tr. by Stefan Bauer-Mengelberg. (Cantor an Dedekind, in Gesammelte Abhandlungen mathematischen und philosophischen Inhalts , ed. by Ernst ZELMELO, Berlin, Springer, 1932 ; reprinted 1962, Hildesheim, Olms.)

49. Contents, Volume 4 It is argued that in his 1930 thesis, jacques herbrand developed the concept ofunification central to automatic theorem proving and logic programming, not http://www.ed.ac.uk/philosophy/ml/abs4.html

Modern Logic Contents and abstracts for Modern Logic Volume 4 Vol. 4, no. 1 Vol. 4, no. 2 Vol. 4, no. 3 Vol. 4, no. 4 Modern Logic /1, January 1994 M. Randall HOLMES The set-theoretical program of Quine succeeded, but nobody noticed Modern Logic Author's abstract: The set theory "New Foundations" or NF introduced by W.V.O. Quine in 1935 is discussed, along with related systems. It is argued that, in spite of the fact that the consistency of NF remains an open question, the relative consistency results for NFU obtained by R. B. Jensen in 1969 demonstrate that Quine's general approach can be used successfully. The development of basic mathematical concepts in a version of NFU is outlined. The interpretation of set theories of the usual type in extensions of NFU is discussed. The problems with NF itself are discussed, and other fragments of NF known to be consistent are briefly introduced. The relative merits of Quine-style and Zermelo-style set theories are considered from a philosophical standpoint. Finally, systems of untyped combinatory logic or lambdaPcalculus related to NF and its fragments are introduced, and their relation to an abstract model of programming is outlined. Judy GREEN The algebra of logic: What Boole really started Modern Logic Author's abstract: Although the concept of a Boolean algebra has its roots in the algebra of logic, an algebra of logic of the nineteenth century was a scheme for symbolizing logical relationships as algebraic ones in such a way that logical deductions could be accomplished by algebraic manipulations. Boole wrote three works on logic, but it is in the first of these, the 1847

50. Pioneers Of Computing interview and unofficial information); Kurt Gödel; Richard W. Hamming;jacques herbrand; William R. Hewlett; CAR Hoare (CSP); Marcian E. Hoff http://archive.comlab.ox.ac.uk/other/museums/computing/pioneers.html

Virtual Museum of Computing Pioneers of Computing Tommy Flowers , MBE, codebreaking engineer at Bletchley Park who worked on Colossus, died on 28 October 1998, aged 92. (Born on 22 December 1905.) Times obituary (10 November 1998) and Nando Times report In Memory of Internet Pioneer Jon Postel , died October 1998 See also tribute from IANA In Memoriam from the Domain Name Handbook Times obituary (22 October 1998) and RFC2468 memo from Vinton Cerf Memorial service , 5 November 1998) This exhibit provides links to "home" pages or other resources on people, both alive and dead, who have made a significant impact on computing. Howard H. Aiken (Havard Mark I) Marc Andreessen John V. Atanasoff Boris A. Babaian (Russian supercomputers) Charles Babbage (Analytical Engine) Charles W. Bachman (databases) John Backus Gordon Bell (Digital) Tim Berners-Lee Vannevar Bush Vinton Cerf (Internet) James Clark Edgar F. Codd (databases) Seymour Cray (supercomputers) Ole-Johan Dahl (Simula) Edsger W. Dijkstra John Presper Eckert (see also here Lawrence Ellison (Oracle) Douglas C. Engelbart

51. Full Alphabetical Index Translate this page 909*) Helmholtz, Hermann von (120*) Heng, Zhang (228*) Henrici, Olaus (117*) Hensel,Kurt (252*) Heraclides of Pontus (773*) herbrand, jacques (376*) Hérigone http://www.maththinking.com/boat/mathematicians.html

Full Alphabetical Index Click below to go to one of the separate alphabetical indexes A B C D ... XYZ The number of words in the biography is given in brackets. A * indicates that there is a portrait. A Abbe , Ernst (602*) Abel , Niels Henrik (2899*) Abraham bar Hiyya (641) Abraham, Max Abu Kamil Shuja (1012) Abu Jafar Abu'l-Wafa al-Buzjani (1115) Ackermann , Wilhelm (205) Adams, John Couch Adams, J Frank Adelard of Bath (1008) Adler , August (114) Adrain , Robert (79*) Adrianus , Romanus (419) Aepinus , Franz (124) Agnesi , Maria (2018*) Ahlfors , Lars (725*) Ahmed ibn Yusuf (660) Ahmes Aida Yasuaki (696) Aiken , Howard (665*) Airy , George (313*) Aitken , Alec (825*) Ajima , Naonobu (144) Akhiezer , Naum Il'ich (248*) al-Baghdadi , Abu (947) al-Banna , al-Marrakushi (861) al-Battani , Abu Allah (1333*) al-Biruni , Abu Arrayhan (3002*) al-Farisi , Kamal (1102) al-Haitam , Abu Ali (2490*) al-Hasib Abu Kamil (1012) al-Haytham , Abu Ali (2490*) al-Jawhari , al-Abbas (627) al-Jayyani , Abu (892) al-Karaji , Abu (1789) al-Karkhi al-Kashi , Ghiyath (1725*) al-Khazin , Abu (1148) al-Khalili , Shams (677) al-Khayyami , Omar (2140*) al-Khwarizmi , Abu (2847*) al-Khujandi , Abu (713) al-Kindi , Abu (1151) al-Kuhi , Abu (1146) al-Maghribi , Muhyi (602) al-Mahani , Abu (507) al-Marrakushi , ibn al-Banna (861) al-Nasawi , Abu (681) al-Nayrizi , Abu'l (621) al-Qalasadi , Abu'l (1247) al-Quhi , Abu (1146) al-Samarqandi , Shams (202) al-Samawal , Ibn (1569) al-Sijzi , Abu (708) al-Tusi , Nasir (1912) al-Tusi , Sharaf (1138) al-Umawi , Abu (1014) al-Uqlidisi , Abu'l (1028) Albanese , Giacomo (282) Albategnius (al-Battani) (1333*)

52. Commonwealth Books - New This Week $125.CW 409456. herbrand, jacques. Edited by Warren Goldfarb. LOGICAL WRITINGSA TRANSLATION OF THE 'ECRITS LOGIQUES' (edited by Jean Van Heijenoort). http://www.commonwealthbooks.com/archives/020901.htm

New Books for the week of September 2, 2002 This list is alphabetized by author and title. You may notice extensive listings in a particular subject area as we buy collections or catalogue different areas of the store. Our inventory (or at least that portion which has been inventoried) can be searched on the Advanced Book Exchange. As a rule, we only have one copy of these items, so they are available on a first-come basis. Please call or email to check availability. We accept all major credit cards, checks and money orders. Shipping via UPS unless otherwise requested, $5.50/first book, $1 each thereafter. Institutional billing available. Reciprocal discount to the trade. Authors A-L Authors M-Z Anonymous. ANNUAL REPORT OF THE PRESIDENT OF THE BOROUGH OF BROOKLYN FOR THE YEAR 1902. New York : Martin B. Brown Co., 1903. Small 4to. Cloth. 527 pp. Charts, pullouts, photographs, and four fold out maps in pocket at rear. Head and heel of spine lightly rubbed, pocket at rear completely detached at bottom and top folds due to maps' size. Very good minus overall. $50.CW 409453. Arnott, Peter. THE THEATRES OF JAPAN. London, Melbourne and Toronto; New York : Macmillan; St. Martin's Press, (1969). 8vo. Cloth. 319 pp. Illustrated. Light shelfwear, previous owner's name on front free endpaper. Very good plus in a very good plus dj. $20.CW 409384.

53. Filosofian Kansakunnat 4. jacques herbrand 19081931, Recherches sur la théorie de la démonstration(1929), ja Jean Nicod 1893-1924, Le problème logique de l'induction http://www.netn.fi/397/netn_397_eng.html

Pascal Engel Voiko analyyttinen filosofia olla ranskalaista John Stuart Mill sanoi, että kaikki suuret ajatteluvirtaukset kulkevat kolmen vaiheen kautta: "pilkanteko, keskustelu, omaksuminen". Siinä missä analyyttinen filosofia saavutti tuon viimeisen vaiheen useimmissa muissa maissa jo yli viisikymmentä vuotta sitten, Ranskassa se on vasta vaivoin ohittanut ensimmäisen. ja epäilyksettä myös Descartesiin, ja jälkimmäisillä, myrkyllisimmillään, Poincarén kritiikkiin ("Logiikka ei ole ainoastaan steriiliä, se tuottaa ristiriitoja"). Toiseksi hengellisen idealismin yliote, joka ruokki sitkeää epäluuloa kaikkia realismin muotoja vastaan. 20- ja 30-luvuilla, kun Russellin ja Mooren niin kutsuttu "analyyttinen realismi" nousi mahtiasemaan Cambridgessä, ja kun Carnap ja Schlick ryhtyivät soveltamaan uuden logiikan löydöksiä tietoisuuden teoriaan ja perustivat Wienin piirin, maisema muuttui Ranskassakin, tosin toisten saksalaisten virtausten hyväksi (kolme "H":ta : Hegel, Husserl ja Heidegger). Nuoret loogikot, kuten Herbrand ja Nicod

54. T.M. Scanlon New York Basic Books, 1974. Scanlon, TM Review of jacques herbrand's Ecrits logiqueand Logical Writings. Synthese (MayJune 1974), 27(1-2) 271- 284. http://sun3.lib.uci.edu/~scctr/hri/life/scanlon.html

Up UCI Critical Theory Resource UCI Special Collections UCI Libraries ... UC Irvine T.M. Scanlon Compiled by Eddie Yeghiayan Scanlon, T. M."Academic Freedom and the Control of Research." In Edmund L. Pincoffs, ed., The Concept of Academic Freedom, pp. 237-254. Austin, TX: University of Texas Press, Scanlon, T. M."Comments on Ackerman's Private Property and the Constitution. " In J. Roland Pennock and John W. Chapman, eds., Property, pp. 341- 350. Nomos, 22. New York: New York University Press, Scanlon, T. M." The Conistency of Arithmetic via Herbrand's Theorem." Journal of Symbolic Logic (March Scanlon, T. M."Contractualism and Utilitarianism." In Amartya Sen and Bernard Williams, eds, Utilitarianism and Beyond, pp. 103-128. Cambridge: Cambridge University Press, Scanlon, T. M." `Down from Liberalism.' Review of Thomas Sowell's A Conflict of Visions. " New York Review of Books (April 28, Scanlon, T. M."Due Process." In J. Roland Pennock and John W. Chapman, eds., Due Process

55. Tom Scanlon Bibliography Justice (1973). Review of jacques herbrand's Ecrits logique and LogicalWritings. Synthese (MayJune 1974), 27(1-2)271-284. Edited http://sun3.lib.uci.edu/~scctr/philosophy/scanlon.html

UCI Department of Philosophy Up UCI Libraries UC Irvine ... University of California, Irvine is pleased to announce a Matchette and Melden Lecture and Seminar Series Melden Lecture "Moral Motivation and Moral Diversity," January 24, 1996 Matchette Lecture "Reasons," January 25, 1996 T.M. SCANLON A Selected Bibliography Compiled by Eddie Yeghiayan "A Unified Treatment of Elementary Proof Theory." PhD, Harvard University, 1968. Dissertation Abstracts (1968), Added Volume:0207. "A Theory of Freedom of Expression." (Winter 1972), 1(2):204-226. See Robert Amdur's "Scanlon on Freedom of Expression," "The Consistency of Arithmetic via Herbrand's Theorem." Journal of Symbolic Logic (March 1973), 38(1):29-58. "Individual Responsibility and Political Obligation." In Proceedings of the Working Group on Philosophy, Science and Technology, Cambridge, May 7-8, 1971 . Cambridge: The Hunsaker Endownment, MIT, 1973. "Rawls's Theory of Justice." University of Pennsylvania Law Review (May 1973), 121(5):1020-1069.

56. Base Palissy - Auteurs / Créateurs Translate this page Alexandre Félix Henne J. Henner Jean-jacques Henn jacques Henny Adam Herbert G.Herbin Herborth August herbrand Herbstoffer P. Herbstoffer Pierre Rodolphe http://www.culture.fr/documentation/palissy/AUTR/autr_068.htm

Palissy Giscard B. Giscard Bernard Giscard Dominique Giscard frères ... Goodyn Abraham

57. Citations: The Collected Papers Of Gerhard Gentzen - Szabo (ResearchIndex) Her30 jacques herbrand. Recherches sur la th eorie de la d emonstration. Her30jacques herbrand. Recherches sur la th eorie de . ME Szabo, editor. http://citeseer.nj.nec.com/context/20088/0

32 citations found. Retrieving documents... M.E. Szabo, The Collected Papers of Gerhard Gentzen , North-Holland, Amsterdam (1969). Home/Search Document Not in Database Summary Related Articles Check This paper is cited in the following contexts: Curry-Howard terms for Linear Logic - Albrecht, Bäuerle, Crossley, Jeavons (1994) (1 citation) (Correct) ....in a natural deduction proof system for intuitionistic logic. The terms, which we call Curry Howard terms, give an explicit representation of the whole proof which can be readily handled by the machine in contast to the traditional representations by mathematicians (see e.g. Gentzen s work in ) where, in discussing the manipulation of proofs, large parts are simply represented by Delta Delta Delta, and it is left to the reader to determine precisely what the Delta Delta Delta means. In the traditional situation the manipulations could be effected without too much difficulty. In ....of terms within terms. 1. In our view, Curry Howard terms provide an explicit notation for proofs. They are explicit in the sense that, given a Curry Howard term, one can write down the corresponding proof and vice versa.

58. Full Alphabetical Index Translate this page Ernst (75*) Helly, Eduard (157*) Helmholtz, Hermann von (120*) Heng, Zhang (228*)Henrici, Olaus (117*) Hensel, Kurt (252*) herbrand, jacques (376) Hérigone http://www.geocities.com/Heartland/Plains/4142/matematici.html

Completo Indice Alfabetico Cliccare su una lettera sottostante per andare a quel file. A B C D ... XYZ Cliccare sotto per andare agli indici alfabetici separati A B C D ... XYZ Il numero di parole nella biografia e' dato in parentesi. Un * indica che c'e' un ritratto. A Abbe , Ernst (602*) Abel , Niels Henrik (286*) Abraham bar Hiyya (240) Abraham, Max Abu Kamil Shuja (59) Abu'l-Wafa al'Buzjani (243) Ackermann , Wilhelm (196) Adams, John Couch Adams, Frank Adelard of Bath (89) Adler , August (114) Adrain , Robert (79) Aepinus , Franz (124) Agnesi , Maria (196*) Ahlfors , Lars (725*) Ahmed ibn Yusuf (60) Ahmes Aida Yasuaki (114) Aiken , Howard (94) Airy , George (313*) Aitken , Alexander (825*) Ajima , Chokuyen (144) Akhiezer , Naum Il'ich (248*) al'Battani , Abu Allah (194) al'Biruni , Abu Arrayhan (306*) al'Haitam , Abu Ali (269*) al'Kashi , Ghiyath (73) al'Khwarizmi , Abu (123*) Albanese , Giacomo (282) Albert of Saxony Albert, Abraham Adrian (121*) (158*) Alberti , Leone (181*) Alberto Magno, San (109*) Alcuin di York (237*) Aleksandrov , Pave (160*) Alembert , Jean d' (291*) Alexander , James (163) Amringe , Howard van (354*) Amsler , Jacob (82) Anassagora di Clazomenae (169) Anderson , Oskar (67) Andreev , Konstantin (117) Angeli , Stefano degli (234) Anstice , Robert (209) Antemio of Tralles (55) Antifone il Sofista (125) Apollonio di Perga (276) Appell , Paul (1377) Arago , Dominique (345*) Arbogasto , Louis (87) Arbuthnot , John (251*) Archimede di Siracusa (467*) Archita of Tarentum (103) Argand , Jean (81) Aristeo il Vecchio (44) Aristarco di Samo (183) Aristotele Arnauld , Antoine (179)

59. Citation demonstration. In Ecrits logtques de jacques herbrand, PUF, Paris, 1968.Th~se de Doctorat d'Etat, Universit~ de Paris, 1930. In French. http://portal.acm.org/citation.cfm?id=169692&dl=ACM&coll=portal&CFID=11111111&CF

60. Citation In the ensuing century his system was studied and refined by such logicians asBertrand Russell, David Hilbert, Kurt Godel, jacques herbrand, Alonzo Church http://portal.acm.org/citation.cfm?id=810020&dl=ACM&coll=portal&CFID=11111111&CF

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 3     41-60 of 76    Back | 1  | 2  | 3  | 4  | Next 20