Understanding informal mathematical discourse:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English German |
| Published: |
Erlangen
Inst. für Informatik
2004
|
| Series: | Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg
37,4 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004. - Enth. Zsfassung in engl. und dt. Spr. |
| Physical Description: | XIV, 181 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019620105 | ||
| 003 | DE-604 | ||
| 005 | 20060608 | ||
| 007 | t| | ||
| 008 | 041206s2004 xx d||| m||| 00||| eng d | ||
| 035 | |a (OCoLC)314556188 | ||
| 035 | |a (DE-599)BVBBV019620105 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng |a ger | |
| 049 | |a DE-29 |a DE-29T |a DE-739 |a DE-12 |a DE-19 |a DE-703 |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Zinn, Claus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Understanding informal mathematical discourse |c Claus Zinn |
| 264 | 1 | |a Erlangen |b Inst. für Informatik |c 2004 | |
| 300 | |a XIV, 181 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |v 37,4 | |
| 500 | |a Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004. - Enth. Zsfassung in engl. und dt. Spr. | ||
| 502 | |a Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004 | ||
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |v 37,4 |w (DE-604)BV013391036 |9 37,4 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012949512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012949512 | |
Record in the Search Index
| _version_ | 1820875852340002816 |
|---|---|
| adam_text |
ARBEITSBERICHTE DES INSTITUTS FIIR INFORMATIK
FRIEDRICH-ALEXANDER-UNIVERSITAT ERIANGEN NURNBERG BAND 37 * NUMMER 4 *
SEPTEMBER 2004 CLAUS ZINN UNDERSTANDING INFORMAL MATHEMATICAL DISCOURSE
DISSERTATION HERAUSGEBER: M. DAL CIN, R. GERMAN, G. GORZ, G. GREINER, U.
HERZOG, F. HOFMANN, J. HORNEGGER, S. JABLONSKI, K. LEEB, ULB DARMSTADT
MULLER - H - NIEMANN, E, F. SAGHETTI, 16041530 DIE REIHE DER
ARBEITSBERICHTE DES INSTITUTS FUR INFORMATIK (EHEM. INSTITUT FUR
MATHEMATISCHE MASCHINEN UND DATENVERARBEITUNG) DER UNIVERSITAT
ERLANGEN-NIIRNBERG ERSCHEINT SEIT 1967. BEGRIINDET VON PROF. DR. DR. H.
C. MULT. WOLFGANG HANDLER CONTENTS 1 INTRODUCTION 1 1.1 THE AUTOMATED
REASONING VIEW: VERIFYING TEXTBOOK PROOFS 2 1.1.1 ON THE NOTION OF
FORMAL PROOF 2 1.1.2 PROOFS IN MATHEMATICAL PRACTISE 4 1.2 THE
LINGUISTIC VIEW: UNDERSTANDING MATHEMATICAL DISCOURSE 8 1.2.1 THE
GRICEAN VIEW 8 1.2.2 A COMPUTATIONAL LINGUIST'S VIEW 10 1.2.3 THE
SEMANTICIST'S VIEW 10 1.3 RESEARCH PROGRAM AND RESEARCH QUESTIONS 10
1.3.1 DOING FORMALISED MATHEMATICS WITH COMPUTER SUPPORT 10 1.3.2 THE
MATHEMATICIAN'S ASSISTANT 12 1.3.3 RESEARCH QUESTIONS 13 1.4 THE
ORGANISATION OF THE THESIS 15 1.4.1 THE SYSTEM'S ARCHITECTURE 15 1.4.2
THESIS OVERVIEW 16 1.4.3 THREE NOTES 16 2 REVIEW OF RELATED WORK 19 2.1
A SYSTEMS' REVIEW 19 2.1.1 ABRAHAMS' PROOFCHECKER 19 2.1.2 BOBROW'S
STUDENT 20 2.1.3 MECHO * A PROGRAM TO SOLVE MECHANICS PROBLEMS 20 2.1.4
SIMON'S NTHCHECKER 22 2.2 AUTOMATED REASONING 25 2.2.1 CONSTRUCTING AND
CHECKING FORMAL PROOFS 25 2.2.2 TOWARDS A MATHEMATICAL VERNACULAR 28
2.2.3 CAPTURING AND OPERATIONALISING MATHEMATICAL REASONING 29 2.2.4
PROOF REPRESENTATION 30 2.3 UNDERSTANDING MULTI-SENTENCE DISCOURSE 32
2.3.1 THE SCRIPTS OF SCHANK ET AL 32 2.3.2 HOBBS ET AL'S INTERPRETATION
AS ABDUCTION * TACITUS 33 2.3.3 DISCOURSE REPRESENTATION THEORY (DRT) 35
3 A MATHEMATICAL ANALYSIS OF PROOFS 37 3.1 BASIC PROOF TECHNIQUES 37 3.2
THE FUNDAMENTAL THEOREM OF ARITHMETIC (EXISTENCE) 41 3.2.1 HARDY AND
WRIGHT'S EXISTENCE PROOF 41 3.2.2 LEVEQUE'S EXISTENCE PROOF 45 3.3 THE
FUNDAMENTAL THEOREM OF ARITHMETIC (UNIQUENESS) 47 3.3.1 USING ELLIPSIS
48 3.3.2 HARDY AND WRIGHT'S UNIQUENESS PROOF 49 3.4 HARDY AND WRIGHT'S
PROOF OF THEOREM 3 52 3.5 CONCLUSION 53 XI CONTENTS 4 A LINGUISTIC
ANALYSIS OF PROOFS 55 4.1 GENERAL REMARKS ON MATHEMATICAL WRITING 55 4.2
DENOTING IN MATHEMATICAL DISCOURSE 59 4.2.1 CONSTANT SYMBOLS AND OTHER
PROPER NAMES 60 4.2.2 VARIABLES 61 4.2.3 FUNCTIONS 66 4.2.4 PREDICATES
67 4.2.5 DEFINITE DESCRIPTIONS 68 4.3 LINGUISTIC PHENOMENA 69 4.3.1 A
DISCOURSE ANALYSIS FOCUSING ON TERMS AND FORMULAE 69 4.3.2 A SYSTEMATIC
ACCOUNT ON ANAPHORIC LINKAGE AND ELLIPTIC CONSTRUCTS 71 4.3.3
PROPOSITIONAL DISCOURSE ENTITIES 76 4.4 CONNECTIVES, CONDITIONAL AND
PSEUDO-CONDITIONAL STATEMENTS 79 4.4.1 CONJUNCTION, DISJUNCTION, AND
NEGATION 79 4.4.2 CONDITIONALS 81 5 MATHEMATICAL DISCOURSE AND DRT * THE
PARSER MODULE 89 5.1 DISCOURSE REPRESENTATION THEORY 89 5.1.1 FORMAL
DEFINITION OF DRSS 90 5.1.2 THE CONSTRUCTION OF DRSS FROM THE SYNTAX
TREE. 91 5.1.3 THE CONSTRUCTION OF DRSS FOR MULTI-SENTENCE DISCOURSE 93
5.2 SEMANTIC CONSTRUCTION FOR TERMS AND FORMULAE 94 5.2.1 CONSTANTS 94
5.2.2 VARIABLES 97 5.2.3 FUNCTIONS 104 5.2.4 COMPLEX TERMS 106 5.2.5
TYPE, QUANTIFICATION AND SCOPE OF DISCOURSE ENTITIES 107 5.3 A DRT
TREATMENT OF SELECTED LINGUISTIC PHENOMENA 110 5.3.1 RELATIONAL NOUNS
AND ADJECTIVES 110 5.3.2 LIGHT VERBS (HAVE PHRASES) 112 5.3.3 COMPLEX
REFERRING EXPRESSIONS 113 5.4 CONNECTIVES, CONDITITIONAL AND
PSEUDO-CONDITIONAL STATEMENTS 115 5.4.1 CONJUNCTION, DISJUNCTION AND
NEGATION 115 5.4.2 CONDITIONALS 116 6 PROOF REPRESENTATION STRUCTURES
125 6.1 MOTIVATION 125 6.1.1 ABSTRACT DISCOURSE REFERENTS 125 6.1.2
REPRESENTING DISCOURSE STRUCTURE 127 6.2 PROOF REPRESENTATION STRUCTURES
129 6.3 PROOF PLAN SCHEMATA * UNDERSPECIFIED PRSS 133 6.3.1 FORMAL
DESCRIPTION OF UPRS 134 6.3.2 A FEW EXAMPLE UPRSS 134 6.3.3 VIP'S
LIBRARY OF PROOF METHODS 135 6.4 THEORY REPRESENTATION STRUCTURES 136 7
CONSTRUCTION OF PROOF REPRESENTATION STRUCTURES 139 7.1 THE DISCOURSE
UPDATE ALGORITHM 139 7.1.1 DESCENDING A COMPLEX DRS 140 7.1.2
INTEGRATING A DRS INTO THE PROOF CONTEXT 142 7.1.3 ACCOMMODATING THE
CURRENT PROOF CONTEXT * THE PROOF PLANNER 143 7.2 TWO CONSTRUCTION
EXAMPLES 145 7.2.1 FIRST EXAMPLE 145 CONTENTS XIII 7.2.2 SECOND EXAMPLE
153 7.3 PROOF PLAN REFINEMENT 161 8 CONCLUSION AND FUTURE WORK 163 8.1
RECAPITULATION 163 8.2 SIGNIFICANCE 164 8.2.1 THE AUTOMATED REASONING
PERSPECTIVE 164 8.2.2 THE COMPUTATIONAL LINGUISTICS PERSPECTIVE 165 8.3
SYSTEM LIMITATIONS AND FUTURE SYSTEM EXTENSIONS 166 8.3.1 CURRENT SYSTEM
STATUS 166 8.3.2 EXTENSIONS TO VIP 166 8.4 FUTURE WORK 168 8.4.1
INVESTIGATING THE USE OF RHETORICAL RELATIONS 168 8.4.2 ON PROOF
REPRESENTATION 169 8.4.3 A SHALLOW PARSING APPROACH 169 8.4.4 A TUTORING
SYSTEM FOR MATHEMATICAL PROOFS 170 BIBLIOGRAPHY 172 |
| any_adam_object | 1 |
| author | Zinn, Claus |
| author_facet | Zinn, Claus |
| author_role | aut |
| author_sort | Zinn, Claus |
| author_variant | c z cz |
| building | Verbundindex |
| bvnumber | BV019620105 |
| classification_rvk | ST 304 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)314556188 (DE-599)BVBBV019620105 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV019620105</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060608</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">041206s2004 xx d||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)314556188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019620105</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zinn, Claus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Understanding informal mathematical discourse</subfield><subfield code="c">Claus Zinn</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Erlangen</subfield><subfield code="b">Inst. für Informatik</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 181 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg</subfield><subfield code="v">37,4</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004. - Enth. Zsfassung in engl. und dt. Spr.</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg</subfield><subfield code="v">37,4</subfield><subfield code="w">(DE-604)BV013391036</subfield><subfield code="9">37,4</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012949512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012949512</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV019620105 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:22:12Z |
| institution | BVB |
| language | English German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012949512 |
| oclc_num | 314556188 |
| open_access_boolean | |
| owner | DE-29 DE-29T DE-739 DE-12 DE-19 DE-BY-UBM DE-703 DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-29 DE-29T DE-739 DE-12 DE-19 DE-BY-UBM DE-703 DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | XIV, 181 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Inst. für Informatik |
| record_format | marc |
| series | Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |
| series2 | Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg |
| spelling | Zinn, Claus Verfasser aut Understanding informal mathematical discourse Claus Zinn Erlangen Inst. für Informatik 2004 XIV, 181 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg 37,4 Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004. - Enth. Zsfassung in engl. und dt. Spr. Zugl.: Erlangen-Nürnberg, Univ., Diss., 2004 Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg 37,4 (DE-604)BV013391036 37,4 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012949512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Zinn, Claus Understanding informal mathematical discourse Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg Künstliche Intelligenz (DE-588)4033447-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4069034-9 (DE-588)4113937-9 |
| title | Understanding informal mathematical discourse |
| title_auth | Understanding informal mathematical discourse |
| title_exact_search | Understanding informal mathematical discourse |
| title_full | Understanding informal mathematical discourse Claus Zinn |
| title_fullStr | Understanding informal mathematical discourse Claus Zinn |
| title_full_unstemmed | Understanding informal mathematical discourse Claus Zinn |
| title_short | Understanding informal mathematical discourse |
| title_sort | understanding informal mathematical discourse |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Künstliche Intelligenz Automatisches Beweisverfahren Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012949512&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV013391036 |
| work_keys_str_mv | AT zinnclaus understandinginformalmathematicaldiscourse |