The language of mathematics : a linguistic and philosophical investigation /
The Language of Mathematics was awarded the E.W. Beth Dissertation Prize for outstanding dissertations in the fields of logic, language, and information. It innovatively combines techniques from linguistics, philosophy of mathematics, and computation to give the first wide-ranging analysis of mathem...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Series: | Lecture notes in computer science
7805 |
| Subjects: | |
| Online Access: | Click here to view the full text content |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 02290nam a2200421 i 4500 | ||
|---|---|---|---|
| 001 | vtls000111938 | ||
| 003 | MY-ArUMP | ||
| 005 | 20210731152400.0 | ||
| 006 | m fo d | ||
| 007 | cr nn 008mamaa | ||
| 008 | 131031s2013 gw | fs |||| 0|eng d | ||
| 020 | |a 9783642370120 | ||
| 039 | 9 | |a 201404081207 |b RAR |c 201310311527 |d VLOAD |y 201310081711 |z NY | |
| 040 | |a MYPMP |b eng |c MYPMP |e rda | ||
| 100 | 1 | |a Ganesalingam, Mohan. |e author | |
| 245 | 1 | 4 | |a The language of mathematics : |b a linguistic and philosophical investigation / |c by Mohan Ganesalingam. |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2013. | |
| 300 | |a 1 online resource (XX, 260 pages) 15 illustration. |b digital | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture notes in computer science |x 0302-9743 |v 7805 | |
| 520 | |a The Language of Mathematics was awarded the E.W. Beth Dissertation Prize for outstanding dissertations in the fields of logic, language, and information. It innovatively combines techniques from linguistics, philosophy of mathematics, and computation to give the first wide-ranging analysis of mathematical language. It focuses particularly on a method for determining the complete meaning of mathematical texts and on resolving technical deficiencies in all standard accounts of the foundations of mathematics. "The thesis does far more than is required for a PhD: it is more like a lifetime's work packed into three years, and is a truly exceptional achievement." Timothy Gowers | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Translators (Computer programs). | |
| 650 | 0 | |a Computer vision. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642370113 |
| 830 | 0 | |a Lecture notes in computer science |x 0302-9743 |v 7805 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-37012-0 |y Click here to view the full text content |
| 942 | |2 lcc |c BK-EBOOK | ||
| 949 | |a VIRTUAITEM |d 10011 |f 1 |x 9 | ||
| 950 | |a Computer Science (Springer-11645) | ||
| 999 | |c 52777 |d 52777 | ||
| 952 | |0 0 |1 0 |2 lcc |4 0 |7 0 |9 48112 |a FSGM |b FSGM |d 2021-07-31 |l 0 |r 2021-07-31 |t 1 |w 2021-07-31 |y BK-EBOOK | ||