Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

Математика метаматематики

Математика метаматематики

Расёва Е., Сикорский Р.
Πόσο σας άρεσε αυτό το βιβλίο;
Ποια είναι η ποιότητα του ληφθέντος αρχείου;
Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του
Ποια είναι η ποιότητα των ληφθέντων αρχείων;
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории.
Κατηγορίες:
Έτος:
1972
Εκδότης:
Наука
Γλώσσα:
russian
Σελίδες:
594
Σειρές:
Математическая логика и основания математики, 9
Αρχείο:
DJVU, 8.75 MB
IPFS:
CID , CID Blake2b
russian, 1972
Διαβάστε online
Η μετατροπή σε βρίσκεται σε εξέλιξη
Η μετατροπή σε απέτυχε

Φράσεις κλειδιά