Mathématiques

4 924 résultats

Trier parTitre Z - A

Pertinence Auteur A - Z Auteur Z - A Titre A - Z Titre Z - A Prix croissant Prix décroissant Libraire A - Z Libraire Z - A

Par page25

25 50 100

Filtres

National Council of Teachers of Mathematics (author)Biblio.com

The Living Tree of Mathematics: Mathematics of Middle School Curriculum through the Lens of History

Church, Alonzo, And C H Langford (Editors); Paul Bernays, Paul Henle, S C Kleene, Suzanne K Langer, Saunders Mac Lane, Ernest NaBiblio.com

The Journal Of Symbolic Logic. Volume 4 Number 1. March 1939 With Rozsa Peter's Review Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie"

1939046434Menasha / Ann Arbor: Association for Symbolic Logic 1939. First Edition . Grey Wrappers. Near Fine. Volume 4 No 1 40 Pp. Scarce In This The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review In German Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie". Rózsa Péter Born Rózsa Politzer 1905 - 1977 Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson She Abandoned Mathematics To Focus On Poetry. However She Was Convinced To Return To Mathematics By Her Friend László Kalmár Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness.3 She Prepared Her Own Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory "Rekursive Funktionen" To The International Congress Of Mathematicians In Zurich Switzerland In 1932. For Her Research She Received Her Phd Summa Cum Laude In 1935. In 1936 She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo.3 These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937 She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952 She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955 She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor Known As "Aunt Rózsa" To Her Students. In 1951 She Published Her Key Work Recursive Functions Rekursive Funtionen. She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S Péter Applied Recursive Function Theory To Computers. Her Final Book Published In 1976 Was Recursive Functions In Computer Theory. Originally Published In Hungarian It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981.Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953 The Silver State Prize In 1970 And The Gold State Prize In 1973. In 1973 She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences. Association for Symbolic Logic unknown

Arroyo Seco Books · États-Unis154,68 $US≈ 130,87 €

Church, Alonzo, And Ernest Nagel (Editors); C A Bayliss, Paul Bernays, G D W Berry, Evert Beth, Max Black, F D Fitch, Carl G HemBiblio.com

The Journal Of Symbolic Logic. Volume 9 Number 1. March 1944 With Several Reviews By Rozsa Peter

1944046435Menasha / Ann Arbor: Association for Symbolic Logic 1944. First Edition . Grey Wrappers. Near Fine. Volume 9 No 1 32 Pp. Scarce In This The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Reviews In German Of Articles By Skolem Psposil Suranyi And Of Two Articles By Laszlo Klmar. Rózsa Péter Born Rózsa Politzer 1905 - 1977 Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson She Abandoned Mathematics To Focus On Poetry. However She Was Convinced To Return To Mathematics By Her Friend László Kalmár Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness.3 She Prepared Her Own Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory "Rekursive Funktionen" To The International Congress Of Mathematicians In Zurich Switzerland In 1932. For Her Research She Received Her Phd Summa Cum Laude In 1935. In 1936 She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo.3 These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937 She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952 She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955 She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor Known As "Aunt Rózsa" To Her Students. In 1951 She Published Her Key Work Recursive Functions Rekursive Funtionen. She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S Péter Applied Recursive Function Theory To Computers. Her Final Book Published In 1976 Was Recursive Functions In Computer Theory. Originally Published In Hungarian It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981.Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953 The Silver State Prize In 1970 And The Gold State Prize In 1973. In 1973 She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences. Association for Symbolic Logic unknown

Arroyo Seco Books · États-Unis289,08 $US≈ 244,59 €

Church, Alonzo,And C H Langford (Editors); Paul Bernays, Paul Henle, S C Kleene, Suzanne K Langer, Ernest Nagel, Everett J NelsoBiblio.com

The Journal Of Symbolic Logic. Volume 3 Number 2. June 1938 With Rozsa Peter's Review Of Alan Turing's "Computability And L-Deiniability

1938046433Menasha / Ann Arbor: Association for Symbolic Logic 1938. First Edition . Grey Wrappers. Near Fine. Volume 3 No 3 96 Pp. Scarce In This The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review In German Of Turing's 1937 Article In This Same Journal. Rózsa Péter Born Rózsa Politzer 1905 - 1977 Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson She Abandoned Mathematics To Focus On Poetry. However She Was Convinced To Return To Mathematics By Her Friend László Kalmár Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness. She Prepared Her Own Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory "Rekursive Funktionen" To The International Congress Of Mathematicians In Zurich Switzerland In 1932. For Her Research She Received Her Phd Summa Cum Laude In 1935. In 1936 She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo. These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937 She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952 She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955 She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor Known As "Aunt Rózsa" To Her Students. In 1951 She Published Her Key Work Recursive Functions Rekursive Funtionen. She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S Péter Applied Recursive Function Theory To Computers. Her Final Book Published In 1976 Was Recursive Functions In Computer Theory. Originally Published In Hungarian It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981. Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953 The Silver State Prize In 1970 And The Gold State Prize In 1973. In 1973 She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences. Association for Symbolic Logic unknown

Arroyo Seco Books · États-Unis532,51 $US≈ 450,56 €

Church, Alonzo, C H Langford, Ernest Nagel, Max Black, Paul Bernays, Naom Chomsky, Fsolomon Feferman, Carl G Hempel, Jaako HintiBiblio.com

The Journal Of Symbolic Logic. 1936- Vol. 1 No. 1- Vol. 75 No. 2 In Original Printed Wrappers Lacking Five Later Minor Issues

1936049732Association For Symbolic Logic 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 Etc. 1936. First Edition 1st Printing. Grey-blue Wrappers. Near Fine. 293 Individual Volumes In Original Wrappers Not Library Re-Binds. Foundational Material In The Development Of Modern Logic Mathematical Analysis And Ultimately The Mathematics Enabling Computers And Computer Programming And Artificial Intelligence. Some Wrappers With Minor Yellowing Primarily To Spines A Few Early Issues With Splits To Spines Very Good To Fine. Ownership Signatures Of A Noted Mathematician On Some Issues. Early Issues With Issue Numbers And Dates Inked On Spines. Lacking Vol. 21 No. 3 Vol. 46 No. 2 Vol. 62 No. 1 Vol. 64 No. 1 Vol. 70 No. 3. " . The Extant Gains Registered By The Modern Symbolic Treatment Of Logic Have Become Such An Essential Factorin Making Pronouncements Regarding The History Of Logic That We Are Constrained To Say That An Essential Knowledge Of Symbolic Logic Have Become An Indispensable Condition For Any And All Fruitful Study Of The History Of Logic" Heinrich Scholz"Concise History Of Logic". As It Is Impossible To Show That The Cause And Effect Of Any Physical Event Can Be Isolated Sufficiently To Make The Effects Of Forces Susceptible To A Complete Logical Analysis The Connection Of Physical Science And Logic Remains Tangential And Tenuous. The Impossibility Of Exactly Physically Limiting Definition Of Sources And Effects Of Forces In Social Science Make Law Economics And Politics Ridiculous And The Rest Of Social Science Merely Entertaining. The Scientific Use Of Logic Is Limited To It's Use In Occam's Razor The Endless Process Of Successive Removal Of Improper Statements Relationships And Associations In Statements About The Physical World And The Refinement Of Unscientific Arguments In The Imaginary World To Make Them More Acceptable To Contemporary Sensibilities. Association For Symbolic Logic 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 19 unknown

Arroyo Seco Books · États-Unis13 230,00 $US≈ 11 193,90 €

Church, Alonzo, C H Langford, Ernest Nagel, Max Black, Leon Henkin, S C Kleene, Alice Lazerowitz (Editors)Biblio.com

The Journal Of Symbolic Logic. March 1938 To 1955 An Incomplete Run Of 38 Individual Issues In Original Wrappers

19380184531949 1950 1951 1952 1953 1954 1955: Association For Symbolic Logic 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1938. First Edition 1st Printing. Grey-blue Wrappers. Very Good. 53 Separate Numbers 1938-1955 In Original Wrappers As Issued. Not Ex-Library Never Bound. Scarce In Original Condition Like This As Almost All Surviving Issues Were Those Bound For Libraries. Condition Varies From Very Good To Fine. Vol 3 1938 Nos. 1 3 And 4; Vol. 4 1939 No. 4; Vol 5 1940 Nos 1 3 4; Vol 6 1941 Nos. 1 2 4; Vol. 7 1942 No. 2; Vol 8 No. 1 2 And 4; Vol 9 1944 Nos. 2 3 4; Vol. 10 1945 Nos 1 2 3 4; Vol 11 1946 Nos. 1234; Vol 12 1947 Nos 1 2 3 4; Vol. 13 1948 Nos. 1 3 4; Vol. 14 1949 No. 2 4; Vol 15 No. 1 2 3 4; Vol 16 1951 Nos 1 2 3 4; Vol 17 1952 Nos. 1 2 3 4; Volume 18 1953 Nos 12 4; Vol 19 1954 Nos 1 2 4; Volume 20 1955 No. 4. " . The Extant Gains Registered By The Modern Symbolic Treatment Of Logic Have Become Such An Essential Factorin Making Pronouncements Regarding The History Of Logic That We Are Constrained To Say That An Essential Knowledge Of Symbolic Logic Have Become An Indispensable Condition For Any And All Fruitful Study Of The History Of Logic" Heinrich Scholz"Concise History Of Logic". As It Is Impossible To Show That The Cause And Effect Of Any Physical Event Can Be Isolated Sufficiently To Make The Effects Of Forces Susceptible To A Complete Logical Analysis The Connection Of Physical Science And Logic Remains Tangential And Tenuous. The Impossibility Of Exactly Physically Limiting Definition Of Sources And Effects Of Forces In Social Science Make Law Economics And Politics Ridiculous And The Rest Of Social Science Merely Entertaining. The Scientific Use Of Logic Is Limited To It's Use In Occam's Razor The Endless Process Of Successive Removal Of Improper Statements Relationships And Associations In Statements About The Physical World And The Refinement Of Unscientific Arguments In The Imaginary World To Make Them More Acceptable To Contemporary Sensibilities. Association For Symbolic Logic 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 unknown

Arroyo Seco Books · États-Unis5 292,00 $US≈ 4 477,56 €

Mathématiques

Filtres actifs

Siècle

Langage

Ajouté

Sujets

Catalogues

Filtres actifs

Siècle

Langage

Ajouté

Sujets

Catalogues

Filtres actifs

Siècle

Langage

Ajouté

Sujets

Catalogues