41. 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 if you find omissions A Aiken, Howard A. Harvard Mark I Alkhowarizmi mathematics, , ancient mathematician, the number Allen, Paul

42. Godel 1 62, Hasenjaeger, G. 19631965. 1c, 63, Henkin, Leon, 1960-1972. 64, herbrand, jacques,1931. Heyting, Arend 65, 1931-1933. 66, 1957, 1969. See also Series XIII Folder8. http://libweb.princeton.edu/libraries/firestone/rbsc/aids/godel/godel1.html

I. Personal and Scientific Correspondence, 1929-1978 Box/Folder Addison, John Miscellaneous "A" Behman, Heinrich Bernays, Paul: [See also Series XIII: Folders 6 and 7] Boone, William: January-May, 1958 June-August, 1958 n.d. Brutian, George A. Burks, Arthur Miscellaneous "B": T. R. Bachiller to Errett Bishop Max Black to Terrell Ward Bynum Carnap, Rudolf [See also Series XIV: Folder 1] Chang, C. C. Chomsky, Noam Chuaqui Kettlun, Rolando B. 1969-1972, n.d. Church, Alonzo Cohen, Paul J.: April 24-July 17, 1963 July 20-September 27, 1963 October 4-December 13, 1963 Miscellaneous "C": Ronald Calinger to D. V. Choodnovsky Jeffrey Cohen to Haskell B. Curry Davis, Martin: 1965, n.d. Dreben, Burton S. Miscellaneous "D" [Einstein, Albert: see Miscellaneous "E"] Ellentuck, Erik: Miscellaneous "E" Feferman, Solomon: Feigl, Herbert: Fisher, Edward R., Jr. Flexner, Abraham Ford, Lester R. (re: Friedburg, Robert Friedman, Harvey: Miscellaneous "F" Gandy, R. O. Grandjean, Burke 1957-1961, includes undated notes Miscellaneous "G" Halpern, James, includes discussion notes Hasenjaeger, G.

43. Carnegie Mellon Press Release October 20, 2003 The herbrand Award is named after jacques herbrand, a brilliant French mathematicianwho developed what is now known as herbrand s Theorem in 1929. http://www.cmu.edu/PR/releases03/031020_pandrews.html

Back to Press Releases Carnegie Mellon News Service Home Page Carnegie Mellon News 8 1/2 x 11 News ... Calendar of Events Press Release Contact: Lauren Ward For immediate release: October 20, 2003 Carnegie Mellon Professor Peter Andrews Receives Herbrand Award for Advances in Automated Reasoning Andrews is widely recognized in the field for his work on automated theorem proving in higher-order logic, which is also known as type theory. Type theory is a versatile and expressive formal language that is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. Andrews' book, "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof," is the only textbook on type theory. Research in automated reasoning seeks to develop computer tools that can perform complex reasoning tasks and help people perform such tasks. Much of the current research on automated reasoning focuses on automated theorem proving. Theorem proving systems implement knowledge about the structure of theorems and proofs, efficient methods of searching for proofs and rules of reasoning. "Pure reasoning is very abstract, and computers are well suited to such tasks," explains Andrews. The potential applications of automated reasoning are broad, according to Andrews, who works primarily on developing techniques for proving simple mathematical theorems. Automated systems for verifying mathematical proofs could revolutionize publishing in mathematics. Currently, more than 90 percent of a referee's time is spent checking whether proofs in a paper are correct, while only a fraction of the referee's time is spent judging whether a paper is significant, well articulated and worthy of publication. Andrews notes that tools for checking proofs also could be used as research aids by mathematicians trying to prove new theorems.

44. 7. Computing Unsatisfiability worth. jacques herbrand proved his result in 1929 and Kurt Gödel hisin 1930. Skolem s 1922 result is better than herbrand s. herbrand s http://www.hf.uio.no/filosofi/njpl/vol1no2/pioneer/node7.html

Next: 8. Computing satisfiability Up: Thoralf Skolem: Pioneer of Previous: 6. Set theory and 7. Computing unsatisfiability In Skolem proved the Skolem-Löwenheim theorem by invoking the axiom of choice. This is not too different from Löwenheim's own proof in 1915. Skolem's proof goes for formulas in Skolem normal form. If one assumes that the formulas are satisfiable in a domain D , then by using the axiom of choice we can find a countable subdomain E of D where the formulas are satisfiable. Löwenheim considered only a single formula, and the use of the axiom choice was formulated as a logical principle using some kind of index calculus. We could perhaps formulate it as the principle in higher order logic But his idea was not that different from Skolem's ( ). One problem here is that there is no constructive way of finding the subdomain E from D An important step was made in . There Skolem considered what is now called the term model. By starting with formulas in Skolem normal form one could give names to all individuals needed in the domain. He used the natural numbers as names here. In he started with Skolem functions for the -quantifiers in the Skolem normal form. Then as names he had all terms built up from the Skolem functions starting with a term 0. Then he switched to using natural numbers instead. He used a simple enumeration of the Skolem terms to do that. The point is that Skolem saw the choice between natural numbers and the Skolem terms for names as just a matter of convenience.

45. References van Heijenoort, Jean. 1981. jacques herbrand s work in logic in itshistorical context. In van Heijenoort 1985, pp. 99121. English http://www.hf.uio.no/filosofi/njpl/vol1no2/howlogic/node5.html

Next: Up: On How Logic Became Previous: III References Ackermann, Wilhelm. 1924. Mathematische Annalen , 93, pp. 1-36. Benacerraf, Paul. 1985. Skolem and the skeptic. Proceedings of the Aristotelian Society , Suppl. Vol. LIX, pp. 85-115. Boolos, George. 1993. The Logic of Provability Cambridge University Press. Corcoran, John. 1973. Gaps between logical theory and mathematical practice. In Mario Bunge (ed.), The Methodological Unity of Science , pp. 23-50. D. Reidel Publishing Company, Dordrecht. Dawson, John W. 1985. Historia Mathematica , 12, pp. 66-70. Dawson, John W. 1991. In Thomas Drucker (ed.), Perspectives on the History of Mathematical Logic Etchemendy, John. 1990. The Concept of Logical Consequence Harvard University Press, Cambrige, MA, and London. On formally undecidable propositions of Principia mathematica and related systems I. In , pp. 145-195. Principia mathematica und verwandter Systeme I'', , 38, pp. 173-198. Collected Works , vol. I. Oxford University Press. Goldfarb, Warren D. 1979. Logic in the twenties: The nature of the quantifier.

46. ISBN.pl - Machine Theory Price £ 325.00 more info Book location UK. herbrand, jacques. - Thèses jacquesherbrand (1908-1931) was a mathematical prodigy. After http://www.isbn.pl/478-2-Machine-Theory.html

English Deutsch Fran§ais Categories: Architecture Art Computers Cooking ... Computers Keyword: Author: Title: ISBN: Price range: to Book location: UK Ireland Germany France USA Results: 41-60 of 230 Banham, Reyner - Theory and Design in the First Machine Age Hardback. Very Good in worn dustwrapper. 2nd Impression. 338pp. 137 illustrations. Dustwrapper (rubbed). No inscriptions. Original red cloth gilt. VG/G+. Published: London: Architectural Press, 1962 Price: £ 27.50 - more info Book location: UK Pawley Martin - Theory and Design in the Second Machine Age Near Fine in publishers cloth in like dustjacket. 189pp. Illustrated throughout. 1st edition of sequel to Banham's influential title. Published: Blackwell 1990 Price: £ 22.00 - more info Book location: UK (DESIGN) BANHAM Reyner - Theory and Design in the First Machine Age Classic work. Illustrated. Includes: Academic and Rationalist Writers 1900-1914; Futurist Manifestos and Projects 1909-1914; De Stijl 1917-1925; Art and Le Corbusier; Bauhaus etc. (This book is being disposed of by The Royal Society of Arts and has their book plate with disposed of stamp and ref numbers) HB 230x150, 338pages VG in chipped dustwrapper Published: The Architectural Press 1962 (1960) Price: £ 25.00 -

47. A General Framework For Distributed Reason Maintenance. A GENERAL FRAMEWORK FOR DISTRIBUTED REASON MAINTENANCE jacques Calmet, Joachim Sch?u,Morio Taneda of A is at least 05 2 0; 1. Let H be the herbrand base of http://www.ubka.uni-karlsruhe.de/indexer-vvv/1994/informatik/14

A general framework for distributed reason maintenance. Online lesen: Grafikversion Hinweis: Bitte beachten Sie, dass die Textversion eventuell nicht einwandfrei ist. Sie dient nur zur Navigation und Suche Textversion Grafikversion Treffer auf den Seiten . Ausführliche Trefferanzeige EVA Frame verlassen Verzeichnis ... Hilfe zur Suche Seite Dokument kopieren Postscriptdatei, gnuzipped (43K) Postscriptdatei PDF-Datei, gnuzipped (105K) PDF-Datei ... ASCII Text, aus Postscript erzeugt (39K) Die Postscriptdatei wurde kopiert von http://iaks-www.ira.uka.de/iaks-calmet/papers/ckbs23-9.ps.gz . Weitere Dokumente finden Sie unter http://iaks-www.ira.uka.de/iaks-calmet/abstracts/ Information zum Urheberrecht Elektronisches Volltextarchiv EVA

48. A Novel Approach Towards An Integration Of Multiple Knowledge Sources. A novel approach towards an integration of multiple knowledge sourcesJacques Calmet ? T from the herbrand base onto a lattice. http://www.ubka.uni-karlsruhe.de/indexer-vvv/1993/informatik/14

Calmet, Jacques; Messing, Barbara; Schue, Joachim A novel approach towards an integration of multiple knowledge sources. Online lesen: Grafikversion Hinweis: Bitte beachten Sie, dass die Textversion eventuell nicht einwandfrei ist. Sie dient nur zur Navigation und Suche Textversion Grafikversion Treffer auf den Seiten . Ausführliche Trefferanzeige EVA Frame verlassen Verzeichnis ... Hilfe zur Suche Seite Dokument kopieren Postscriptdatei, gnuzipped (41K) Postscriptdatei PDF-Datei, gnuzipped (85K) PDF-Datei ... ASCII Text, aus Postscript erzeugt (23K) Die Postscriptdatei wurde kopiert von http://iaks-www.ira.uka.de/iaks-calmet/papers/ismick-93.ps.gz . Weitere Dokumente finden Sie unter http://iaks-www.ira.uka.de/iaks-calmet/abstracts/ Information zum Urheberrecht Elektronisches Volltextarchiv EVA

49. Full Alphabetical Index Translate this page 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)

50. Themen-Index: Ja Translate this page jacques Derrida 57. jacques Étienne Montgolfier 58. jacques Féréol Mazas 59.jacques herbrand 60. jacques Lacan 61. jacques Mieses 62. jacques Necker 63. http://www.themensuche.de/Ja.htm

what = 'index'; Liste der Suchbegriffe (Ja): Ja Ja,_vi_elsker_dette_landet Ja,_vi_elsker_dette_landet JaNik ... SUCHE BEI MSN

51. Fiches Familiales Translate this page de HENRIPONT jacques,. Naissance. Naissance. Date. Lieu. Baptême. Date. Lieu.Décès. Décès. Date. Lieu. herbrand Anna Catharina, dite Anne Catherine,1. http://users.swing.be/jm.dumont/ff012.htm

Fiches Familiales de la HAYE Naissance Naissance Date Lieu Date Lieu Date Lieu de la HAYES Naissance : Date : 26/10/1660 Lieu : Renlies Union : Date : 01/11/1690 Lieu : Renlies avec COPPEE Jean Renlies de Montbliard Index des patronymes Liste des personnes Index des Lieux de la HAYES de la HAYE Naissance Naissance Date Lieu Renlies Date Lieu Date Lieu Renlies Age 32 ans Union avec COPPEE Jean Date Lieu Renlies Age Age 30 ans 24 ans COPPEE Marie Jeanne Naissance : Date : 04/09/1691 Lieu : Renlies Union : avec HERBECQ Charles Renlies Index des patronymes ... Index des Lieux HAYOIT Alexandrine Joseph, Naissance Naissance Date Lieu Herchies Date Lieu Date Lieu Union avec Date Lieu JOURDOIS Michel Naissance : Date : ../12/1720 Lieu : Erbaut Union : Date : 25/05/1741 Lieu : Herchie avec LAVENNE Herchie Index des patronymes Liste des personnes ... Index des Lieux HECQ Guillaume, HECQ Jean Jeanne Rang : 1 / 1. Naissance Naissance Date Lieu Date Lieu Date Lieu Age 65 ans Union avec COPPEE Martine Date Lieu HECQ Jean Naissance : Date : 03/06/1661 Lieu : Union : Date : 29/11/1687 Lieu : avec DEBAISE Marguerite Index des patronymes Liste des personnes ... Index des Lieux HECQ Jean

52. 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*)

53. Neff B27/B39/B41/B88 Room Schedule 600, 7 15 pm, Chansavang, jacques, BUS K200, 15. 600, 7 15 pm,Chansavang, jacques, BUS K211, 20. 1200, 1 15 pm, herbrand, L, OLS121, 9. http://www.its.ipfw.edu/scheduling/NEFF_LABS_SPRING.HTML

Neff Teaching Labs - Spring 2004 - Weekly Scheduled Classes Last Updated: May 30, 2004 Room Schedule for Neff B27 Day Start End Instructor Course Enrollment Mon 2 :20 pm Anders, Irene ENG W116 2 :20 pm Anders, Irene ENG W115 5 :45 pm Carosella, C ENG W233 7 :15 pm Sweeney, J JOUR J310 Tue 10 :15 am Crumrine, S ENG W234 11 :45 am Wahid, Tanveer BUS K200 11 :45 am Wahid, Tanveer BUS K211 11 :45 am Wahid, Tanveer BUS K213 1 :15 pm Wahid, Tanveer BUS K200 1 :15 pm Wahid, Tanveer BUS K211 1 :15 pm Wahid, Tanveer BUS K213 7 :15 pm Chansavang, Jacques BUS K212 7 :15 pm Chansavang, Jacques BUS K200 7 :15 pm Chansavang, Jacques BUS K211 Wed 09 :50 am Leeuw, Wilhemina DAST A182 2 :20 pm Anders, Irene ENG W116 2 :20 pm Anders, Irene ENG W115 5 :45 pm Carosella, C ENG W233 7 :15 pm Sweeney, J JOUR J310 Thu 11 :45 am Wahid, Tanveer BUS K200 11 :45 am Wahid, Tanveer BUS K211 11 :45 am Wahid, Tanveer BUS K213 1 :15 pm Wahid, Tanveer BUS K200 1 :15 pm Wahid, Tanveer BUS K211 1 :15 pm Wahid, Tanveer BUS K213 7 :15 pm Chansavang, Jacques BUS K212 7 :15 pm Chansavang, Jacques

54. Neff B27/B39/B41/B88 Room Schedule 1200, 1 15 pm, herbrand, L, OLS 121, 2. 1200, 1 15 pm, herbrand, L, OLS 399,1. 130, 2 45 pm, Groff, Brenda, OLS 280, 9. 600, 7 15 pm, Chansavang, jacques,BUS K200, 1. http://www.its.ipfw.edu/scheduling/neff_labs_fall.html

Neff Teaching Labs - Fall 2004 - Weekly Scheduled Classes Last Updated: May 30, 2004 Room Schedule for Neff B27 Day Start End Instructor Course Enrollment Mon 09 :50 am Anders, Irene ENG W116 09 :50 am Anders, Irene ENG W115 11 :50 am STAFF BUS K200 11 :50 am STAFF BUS K211 11 :50 am STAFF BUS K212 2 :50 pm Modlin, S NUR 113 7 :15 pm Crumrine, S ENG W131 Tue 11 :45 am Bingi, R BUS K321 3 :20 pm Jensen, Rebecca NUR 113 7 :15 pm Sriram, R BUS K200 7 :15 pm Sriram, R BUS K211 7 :15 pm Sriram, R BUS K212 Wed 09 :50 am Anders, Irene ENG W116 09 :50 am Anders, Irene ENG W115 11 :50 am STAFF BUS K200 11 :50 am STAFF BUS K211 11 :50 am STAFF BUS K212 8 :45 pm Bingi, R BUS K321 Thu 11 :45 am Bingi, R BUS K321 7 :15 pm Sriram, R BUS K200 7 :15 pm Sriram, R BUS K211 7 :15 pm Sriram, R BUS K212 8 :45 pm STAFF HTM 251 Fri 09 :50 am Anders, Irene ENG W116 09 :50 am Anders, Irene ENG W115 11 :50 am STAFF BUS K200 11 :50 am STAFF BUS K211 11 :50 am STAFF BUS K212 7 :20 pm Willard, W BUS K200 7 :20 pm Willard, W BUS K212 7 :20 pm Willard, W BUS K213 Sat 11 :50 am STAFF BUS K212 11 :50 am STAFF BUS K211 11 :50 am STAFF BUS K213 Room Schedule for Neff B39 Day Start End Instructor Course Enrollment Mon 7 :15 pm STAFF JOUR J200 Tue 11 :45 am Groff, Brenda

55. Herbrand Universe - Information from the basic symbols. It is named after jacques herbrand. Links.http//mathworld.wolfram.com/herbrandUniverse.html. All text is http://www.book-spot.co.uk/index.php/Herbrand_universe

Herbrand universe - Information Home Mathematical and natural sciences Applied arts and sciences Social sciences and philosophy ... Interdisciplinary categories In mathematical logic , for any formal language with a set of symbols (constants and functional symbols), the Herbrand universe recursively defines the set of all terms that can be composed by applying functional composition from the basic symbols. It is named after Jacques Herbrand Links http://mathworld.wolfram.com/HerbrandUniverse.html All text is available under the terms of the GNU Free Documentation License (see for details). . Wikipedia is powered by MediaWiki , an open source wiki engine.

56. Resolution Method. Herbrand Theorem. Clause Form. Mathematical Logic. Part 5. Borland C++ project (200K zip). 5.6. herbrand s Theorem. jacques herbrand(19081931) After leaving Goettingen, herbrand decided http://www.ltn.lv/~podnieks/mlog/ml5a.htm

resolution principle, Robinson, Herbrand theorem, normal form, clausal, clause, form, resolution method, normal, clausal form, clause form, resolution, Herbrand, theorem, unification, mgu, unifier, most general unifier Back to title page Left Adjust your browser window Right 5.4. Clause Form Clause Forms of Propositional Formulas Which form is more "natural" - DNF, or CNF? Of course, CNF is more natural. Indeed, a DNF D vD v ... vD m asserts that one (or more) of the formulas D i is true. This is a very complicated assertion - sometimes D is true, sometimes D is true, etc. But, if we have a CNF instead - C n ? It asserts that all the formulas C i are true, i.e. we can replace the long formula C n by a set of shorter formulas C , C , ..., C n . For human reading and for computer processing, a set of shorter formulas is much more convenient than a single long formula. Section 5.2 , for which we obtained a DNF and a CNF: Without a transformation, the above DNF is hard for reading, understanding and analyzing. The CNF is more convenient - it says simply that ~AvBv~C is true and Bv~C is true. As another step, making the formulas easier to understand, we could apply the following equivalencies:

57. Press Release: 2004 Herbrand Award For Distinguished Contributions To Automated The award, which carries a $1000 prize, is named after the French mathematicianand logician jacques herbrand (19081931) and is considered to be the most http://domino.mpi-sb.mpg.de/internet/news.nsf/Press Releases/20040420

Press Releases 2004 Herbrand Award for Distinguished Contributions to Automated Reasoning for Harald Ganzinger Release Date: Language: English Prof. Dr Harald Ganzinger , d irector at the Max-Planck-Institut f¼r Informatik in Saarbr¼cken, is to receive the 2004 Herbrand Award. Since 1992, the Herbrand Award is given annually to one scientist for distinguished contributions to automated reasoning. The award, which carries a $1000 prize, is named after the French mathematician and logician Jacques Herbrand (1908-1931) and is considered to be the most renowned international research prize in this area. Harald Ganzinger, born 1950, has been leader of the Programming Logics Group at MPI Saarbr¼cken and honorary professor at the University of the Saarland since 1991; before, he held a chair in computer science at the University of Dortmund. His main field of research is automated deduction the development of push-button methods for proving and disproving logical statements that can be used as automatic tools within the verification of large hardware and software systems. The superposition calculus, which he developed in collaboration with Leo Bachmair, is nowadays the standard method for the efficient treatment of equational problems in automatic provers. The award committee cited Ganzinger for his "seminal work on the theory underlying modern theorem proving systems; the breadth of his research covering nearly all major areas of deduction, and the depth of his results in each one of them; and his effective contributions to the development of systems and implementation techniques."

58. Historia Matematica Mailing List Archive: [HM] Request Of Information About Nico Dear HM list members,. I m looking for biographical information (life, intellectualdevelopment and influences, aso) about Jean Nicod and jacques herbrand. http://sunsite.utk.edu/math_archives/.http/hypermail/historia/jun99/0011.html

[HM] Request of information about Nicod and Herbrand dubucs dubucs@ext.jussieu.fr Mon, 7 Jun 1999 08:29:03 +0200 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Next message: David Fowler: "Re: [HM] Libra vrs As" Previous message: Next in thread: William Tait: "Re: [HM] Request of information about Nicod and Herbrand" Dear HM list members, I'm looking for biographical information (life, intellectual development and influences, a.s.o.) about Jean Nicod and Jacques Herbrand. As regards the last one, I'm of course already acquainted with the beautiful papers by Jean van Heijenoort, but I'm looking for more, specially for a source of unpublished letters, testimonies, a.s.o.. Many thanks for your help, Jacques Dubucs Directeur de Recherches Institut d'Histoire et Philosophie des Sciences et des Techniques 13, rue du Four, 75006 Paris Phone: (33) 01 43 54 60 36 Fax: (33) 01 44 07 16 49 Home: (33) 01 64 59 95 15 Next message: David Fowler: "Re: [HM] Libra vrs As" Previous message: Next in thread: William Tait: "Re: [HM] Request of information about Nicod and Herbrand"

59. Historia Matematica Mailing List Archive: Re: [HM] Request Of Information About There is a bit more information in *jacques herbrand Logical Writings*,edited by Warren Goldfarb. Harvard U Press, 1971. This http://sunsite.utk.edu/math_archives/.http/hypermail/historia/jun99/0015.html

Re: [HM] Request of information about Nicod and Herbrand William Tait wtait@ix.netcom.com Mon, 7 Jun 1999 10:26:45 -0500 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Next message: Antreas P. Hatzipolakis: "[HM] Ordering DHF's Book in the USA (was DHF's e-mail address)" Previous message: William Tait: "[HM] david.fowler@maths.warwick.ac.uk" In reply to: dubucs: "[HM] Request of information about Nicod and Herbrand" There is a bit more information in *Jacques Herbrand: Logical Writings*, edited by Warren Goldfarb. Harvard U Press, 1971. This is primarily a translation into English of the v. Heijenoort collection, primarily in the form of notes and footnotes connected to the individual papers of H-making corrections, comments and references to other work in logic. I don't know it well, and so don't know how much use it will be to you. Good Luck! Bill Tait Next message: Antreas P. Hatzipolakis: "[HM] Ordering DHF's Book in the USA (was DHF's e-mail address)" Previous message: William Tait: "[HM] david.fowler@maths.warwick.ac.uk" In reply to: dubucs: "[HM] Request of information about Nicod and Herbrand"

60. 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

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 87    Back | 1  | 2  | 3  | 4  | 5  | Next 20