Tegesé saka "metamatematica" ing bausastra Basa Italia

PANGOCAP SAKA METAMATEMATICA ING BASA ITALIA

me · ta · ma · te · ma · ti · ca

APA TEGESÉ METAMATEMATICA ING BASA ITALIA?

Metamathematics

Metamatematica

Metamathematics bisa ditemtokake minangka bagéan saka matématika sing ngidinaké matématika bisa ditliti saka sudut pandang umum. Kutha iki dipisahaké saka liyane saka matématika ing abad sangalas, minangka bagéan saka diskusi sing kuwatir apa iki banjur diarani masalah dhasar-dhasar matématika. Antarane cabang paling penting yaiku teori demonstrasi lan teori model. Makna sing asale saka tembung iki yaiku pendekatan David Hilbert marang teori demonstrasi sing saiki. Ing loro cabang ing ndhuwur asring dianggep minangka bagian saka logika matematika, istilah sing saiki luwih akeh digunakake tinimbang metamtamat; nalika sawetara nimbang metamathematics istilah lungse, isih digunakake déning Library of Congress kanggo nggolongake buku minangka metamathematics saka Logic Fuzzy lan Gödel, Escher, Bach: lan Langgeng Golden Braid. Akeh tema babagan dhasar matématika lan filosofi matématika tutul utawa nggunakake gagasan metamatematika.

La metamatematica può definirsi come la parte della matematica che consente di studiare la matematica da punti di vista generali. Essa venne differenziata dal resto della matematica verso la fine del XIX secolo nell'ambito delle discussioni che riguardavano quello che allora veniva chiamato problema dei fondamenti della matematica. Tra le sue branche più importanti si pongono la teoria della dimostrazione e la teoria dei modelli. Il significato che le attribuiva originariamente David Hilbert si avvicina a quello della attuale teoria della dimostrazione. Le due suddette branche ora spesso sono considerate parti della logica matematica, termine che ora viene molto più ampiamente usato di quello di metamatematica; mentre taluni considerano metamatematica un termine obsoleto, esso viene ancora usato dalla Library of Congress per categorizzare libri come Metamathematics of Fuzzy Logic e Gödel, Escher, Bach: Un'Eterna Ghirlanda Brillante. Molti temi riguardanti i fondamenti della matematica e la filosofia della matematica toccano o utilizzano idee della metamatematica.

Definisi saka metamatematica ing bausastra Basa Italia

Definisi metamatematika ing kamus kasebut ana ing logika matematika, disiplin sing ana hubungane karo analisis formal struktur matematika; teori demonstrasi.

PERTALAN SAKA METAMATEMATICA

Weruhi pertalan saka metamatematica menyang 25 basa nganggo Basa Italia pamertal multi basa kita.

pertalan saka metamatematica saka Basa Italia menyang basa liyané kang kasuguhaké ing perangan iki kajupuk saka pertalan statistik otomatis; ing ngendhi inti unit pertalan yaiku tembung «metamatematica» ing Basa Italia.

• Pamertal Basa Italia - Basa Cina: 元数学
• Pamertal Basa Italia - Basa Spanyol: metamatemáticas
• Pamertal Basa Italia - Basa Inggris: metamathematics
• Pamertal Basa Italia - Basa India: metamathematics
• Pamertal Basa Italia - Basa Arab: ماوراء الرياضيات
• Pamertal Basa Italia - Basa Rusia: метаматематика
• Pamertal Basa Italia - Basa Portugis: metamathematics
• Pamertal Basa Italia - Basa Bengali: metamathematics
• Pamertal Basa Italia - Basa Prancis: metamathematics
• Pamertal Basa Italia - Basa Malaysia: metamathematics
• Pamertal Basa Italia - Basa Jerman: Metamathematik
• Pamertal Basa Italia - Basa Jepang: 超数学
• Pamertal Basa Italia - Basa Korea: metamathematics
• Pamertal Basa Italia - Basa Jawa: metamathematics
• Pamertal Basa Italia - Basa Vietnam: metamathematics
• Pamertal Basa Italia - Basa Tamil: metamathematics
• Pamertal Basa Italia - Basa Marathi: metamathematics
• Pamertal Basa Italia - Basa Turki: Metamatematik
• Basa Italia: metamatematica
• Pamertal Basa Italia - Basa Polandia: metamatematyki
• Pamertal Basa Italia - Basa Ukrania: метаматематика
• Pamertal Basa Italia - Basa Romawi: metamathematics
• Pamertal Basa Italia - Basa Yunani: metamathematics
• Pamertal Basa Italia - Basa Afrikaans: metamathematics
• Pamertal Basa Italia - Basa Swedia: metamathematics
• Pamertal Basa Italia - Basa Norwegia: Metamatematikk

BUKU BASA ITALIA KAKAIT KARO «METAMATEMATICA»

Temukaké kagunané saka metamatematica ing pilihan bibliografi iki. Buku kang kakait dening metamatematica lan pethikan cekak kang padha kanggo nyediyakaké panggunané ing sastra Basa Italia.

Teoria Evoluzionaria Della Conoscenz

Le ricerche in cui si parla di teorie matematiche vengono annoverate nell'ambito della metamatematica. Anche la metamatematica ha generato punti di vista rilevanti sotto l'aspetto gnoseologico.2 In particolar modo, l'esito degli studi di Godel ...

Gerhard Vollmer, Romolo Perrotta, 2012

La mente matematica

Tuttavia, è un dato di fatto sociologico che attualmente la maggior parte dei matematici guarda alla metamatematica con scarso entusiasmo. Rispettano doverosamente Gödel e il suo teorema di in- completezza, salutano la dimostrazione del ...

David Ruelle, 2009

Dio è un matematico: La scoperta delle formule nascoste ...

La metamatematica si occupava di dimostrare che l'intero procedimento invocato dal sistema formale fosse coerente attraverso i metodi propri dell'analisi matematica, quindi di dedurrei teoremi dagli assiomi seguendo rigide regole di ...

Mario Livio, 2010

Giocando con l'infinito: Matematica per tutti

(Ha fama di aver detto in un congresso a Bologna chela formalizzazione della metamatematica nonera interessante, ma chel'avrebbe fatta tuttaluiper unascatola di cioccolatini.) Sembrerebbe autoevidente che se formalizzassimo la  ...

Péter Rózsa, 2013

Tossicodipendenza e doppia diagnosi: la relazione d'aiuto in ...

Accanto alla matematica c'è una "metamatematica", lo sapevi?, una metamatematica a cui si può arrivare attraverso l'intuizione!... come quando mi sentivo... fiore... o elefante... e non sapevo perché, ma in quel momento io ero così... Ti ricordi ...

Alessandro Bonetti, 2005

Introduzione alla filosofia delle scienze

In tal modo ogni proposizione metamatematica, cioè esterna al sistema, può essere rappresentata da un numero, cioè all'interno del sistema aritmetico dei Principia mathematica. Si viene a stabilire in questo modo un isomorfismo tra logica e ...

Alberto Strumia, 1992

La danza che crea: evoluzione e cognizione ...

Ecco le richieste di Carnap: (a) "la filosofia deve essere sostituita dalla logica della scienza...", (b) "la logica della scienza non è altro che la sintassi logica del linguaggio della scienza...", (c) "la metamatematica è la sintassi del linguaggio ...

Mauro Ceruti, 1989

RACCOLTA COVILE (7). Caramuel.

METAMATEMATICA. [117b] Nomen Algebra communissimum, non tamen notissimum est. Sed, unde provenit? Est Geber Maurorum Hispalensium Gloriâ: et libris 9. de Astronomiâ Arabicè scriptis, quos Gerardus Cremonensis Latinè reddidit, ...

Aa.vv.

Il Covile. Annata 2012 I sem.

METAMATEMATICA. [117b] Nomen Algebra communissimum, non tamen notissimum est. Sed, unde provenit? Est Geber Maurorum Hispalensium Gloriâ: et libris 9. de Astronomiâ Arabicè scriptis, quos Gerardus Cremonensis Latinè reddidit, ...

Aa.vv.

Per un nuovo illuminismo

Il trascendentalismo grammaticale di Wittgenstein La metamatematica hilbertiana non è una filosofia della matematica, non foss'altro perché, secondo Hilbert, l' essenza della matematica non vi può essere ridotta. Supponiamo tuttavia, per un  ...

Jean Petitot, 2013