Συζήτηση:proof theory

Το λήμμα proof theory αναφέρεται σε συγκεκριμένο κλάδο των μαθηματικών που μελετά τις (μαθηματικές) αποδείξεις. Ο ορισμός ξαναγράφτηκε για να γίνει αυτό προφανές. Δεν είμαι σίγουρος ποια είναι η πολιτική του Βικιλεξικού σε αυτό το θέμα: Πραγματικά η μετάφραση proof theory>>θεωρία αποδείξεων μπορεί να αναχθεί στη μετάφραση των επιμέρους λέξεων, όπως και white house>>Λευκός Οίκος μπορεί να αναχθεί στη μετάφραση των επιμέρους λέξεων. Παρόλα αυτά, το λήμμα white house στέκει και σαν σύνολο, λόγω της ιδιαιτέρας σημασίας που έχει. Νομίζω το ίδιο ισχύει και για διάφορους κλάδους ή ορολογίες των μαθηματικών. Για παράδειγμα δείτε στο αγγλικό Wiktionary τον ορισμό του set theory: http://en.wiktionary.org/wiki/set_theory Η ερμηνεία μπορεί να αναχθεί στη μετάφραση των επιμέρους λέξεων, αλλά ο όρος αξίζει μετάφραση και σαν σύνολο. Ιωάννης Σουλδάτος (συζήτηση) 15:41, 12 Ιουλίου 2013 (UTC)

Η διαφορά με το Λευκός Οίκος είναι η εξής: ακόμη και αν ξέρει κανείς τη σημασία των λέεων λευκός και οίκος δεν μπορεί να αντιληφθεί τη σημασία του όρου. Αντίθετα αν ξέρει κανείς τι σημαίνει η λέξη απόδειξη και η λέξη θεωρια, μπορεί να αντιληφθεί τι σημαίνει η θεωρία αποδείξεων. Ίσως μόνο δεν θα του είναι σαφές ότι πρόκειται για εξειδικευμένη θεωρία των μαθηματικών αποδείξεων και όχι των αποδείξεων γενικά. Να προσθέσω ότι η ύπαρξη λήμματος στο αγγλόφωνο βικιλεξικό είναι μεν ενδεικτική αλλά όχι και δεσμευτική για μας. Ας ακούσουμε και άλλες γνώμες. --Flyax (συζήτηση) 19:31, 12 Ιουλίου 2013 (UTC)