TY - CHAP U1 - Teil eines Buches A1 - Schröder, Bernhard ED - Beißwenger, Michael ED - Gredel, Eva ED - Lemnitzer, Lothar ED - Schneider, Roman T1 - Induktiv oder intuitiv? Die Gewinnung von Frames aus mathematischen Beweistexten T2 - Korpusgestützte Sprachanalyse. Grundlagen, Anwendungen und Analysen N2 - Mathematische Beweistexte weisen Beweisstrategie-spezifische Strukturierungsschemata auf, die sich mithilfe von Frames modellieren lassen. Diese Frames lassen sich teilweise empirisch-induktiv aus Textdaten gewinnen. Da die Frames aber zahlreiche Subtypen aufweisen und in Beweistexten für kompetentere Rezipienten nur elliptisch realisiert werden, müssen neben die empirisch-induktiven Verfahren (corpus-driven approach) auch intuitiv-hypothesenbildende (corpus-based approach) treten. N2 - Mathematical proof-texts show schemas of structuring which are specific for certain proof strategies. These schemas of structuring can be modelled by frames. The frames can partially be obtained from text-data in an empirical-inductive way. But mathematical frames have numerous subtypes, which are realized in texts for more competent recipients only elliptically. Therefore, empirical-inductive methods (corpus-driven approach) must be complemented by intuitive hypothesis-forming methods (corpus-based approach). T3 - Studien zur deutschen Sprache - 88 KW - Korpus KW - Frame KW - Mathematische Beweistexte KW - Textdaten KW - Strukturierungsschemata KW - empirisch-induktives Verfahren KW - intuitiv-hypothesenbildende Verfahren Y1 - 2023 U6 - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-131044 UN - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-131044 SN - 978-3-8233-9610-9 SB - 978-3-8233-9610-9 SP - 197 EP - 215 PB - Narr Francke Attempto CY - Tübingen ER -