Метатеорія

Метатеорія — теорія, що аналізує методи й властивості іншої теорії, так званої предметної або об'єктної теорії. Термін «метатеорія» має сенс і вживається лише стосовно даної, конкретної теорії: логіки — металогіка; математики — метаматематика, теорія математичих доказів; розділів фізики; метахімія; метабіологія і т. д.

Завдання метатеорії — встановити межі області застосування досліджуваної в ній теорії, відповісти (якщо це можливо на даному етапі розвитку науки) на запитання про її несуперечності та повноті, вивчити (або встановити) способи введення її нових понять і докази її тверджень тощо. Поняття предметної теорії стає, таким чином, експлікатом поняття наукової теорії.

Необхідність створення метатеорії виникла насамперед у застосуванні до математики. Вона була зумовлена потребою з'ясування сенсу понять доказ, аксіома, теорема, дослідження структури математичних теорій (синтаксис) і питання про їхню істинність в категорійно-логічних інтерпретаціях (семантика) і, нарешті, проблемою встановлення несуперечності математики.

Давид Гільберт назвав таку метатерію метаматематика. Програма Гільберта допускала лише так звані фінітні методи, тобто методи, в яких використовуються лише кінцеві конструкції і висновки: наочно представлені предмети і ефективно здійсненні процеси (звідси термін «фінітізм», яким харакетризують концепцію Гільберта). Не допускається абстракція актуальної нескінченності і потрібно, щоб докази існування будь-яких об'єктів носили конструктивний характер, тобто, що повинен бути вказаний, хоча б неявно, метод побудови розглянутого об'єкта. Фінітізм вимагає, щоб математичні предмети були вказані в явній формі, — або ж повинен бути даний спосіб їхнього конструювання. Ці предмети повинні бути «наочні» -тобто складатися з експонованих елементів, які можна розрізнити й ототожнити. Будуючи свою теорію доказів, Гільберт виходив з того її правила повинні виражати «техніку нашого мислення». «Основна ідея моєї теорії доказів зводиться до опису діяльності нашого розуму, інакше кажучи, це протокол про правила, згідно з якими фактично діє наше мислення»[1].

Наукознавчі дисципліни

Див. також

Посилання

Примітки

  1. ↑ Давид Гильберт. Основания геометрии", М.-Л., 1948, с. 382

Read other articles:

Yeremia 33

Untuk Yeremia 33 dalam Septuaginta, lihat Yeremia 26. Yeremia 33Kitab Yeremia dalam Alkitab Ibrani, MS Sassoon 1053, foto 283-315.KitabKitab YeremiaKategoriNevi'imBagian Alkitab KristenPerjanjian LamaUrutan dalamKitab Kristen24← pasal 32 pasal 34 → Yeremia 33 (disingkat Yer 33; Penomoran Septuaginta: Yeremia 40) adalah bagian dari Kitab Yeremia dalam Alkitab Ibrani dan Perjanjian Lama di Alkitab Kristen. Berisi perkataan nabi Yeremia bin Hilkia, tentang Yehuda dan Yerusalem, yang ...

 

Awi Chin

Awi Chin (Nama lahir Agung Wijayanto) adalah seorang penulis, sastrawan, dan model. Awi ChinLahirAgung WijayantoPendidikanUniversitas TanjungpuraPekerjaanPenulis Sastrawan ModelKarya terkenalYang Tak Kunjung Usai (The Comma Books dan Penerbit KPG - 2020) Latar Belakang Lahir dengan nama Agung Wijayanto di Jakarta, 12 November 1991. Terlahir dengan asma membuatnya mengalami obesitas semasa kecil. Ia juga merupakan salah satu penyintas kerusuhan 1998.[1] Ia menempuh pendidikan di Univer...

 

Bank Oke Indonesia (lama)

PT Bank Oke IndonesiaJenisJasa keuanganNasibMerger dengan Bank DinarPenerusBank Oke IndonesiaDidirikan1980 (1980)Ditutup11 Juli 2019 (2019-07-11)Kantorpusat Jakarta, IndonesiaTokohkunciLim Cheol Jin (Presiden Direktur)PendapatanRp 132 Miliar (2017), Rp 151 Milyar (2018) Laba bersihRp 16 Miliar (2017), Rp 6 Milyar (2018) PemilikRush & Cash Bank Oke Indonesia atau lebih dikenal sebagai OK! Bank adalah salah satu bank yang berdiri sejak 1980 dan berkantor pusat di Jakarta. Berawal ...

Kuntara

H. Kuntara Panglima Kostrad ke-18Masa jabatan1992–1994 PendahuluWismoyo ArismunandarPenggantiTarubKomandan Jenderal Komando Pasukan Khusus ke-11Masa jabatan1988–1992 PendahuluSintong PanjaitanPenggantiTarub Informasi pribadiLahir(1939-09-01)1 September 1939Cirebon, Jawa BaratMeninggal21 Agustus 2021(2021-08-21) (umur 81)JakartaAlma materAkademi Militer Nasional (1963)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan DaratMasa dinas1963—1995Pangkat Letnan Jend...

 

KDWN

Radio station in Las Vegas, Nevada (1975–2023) KDWNDefunct on AM 720Las Vegas, NevadaBroadcast areaLas Vegas ValleyFrequency720 kHzBranding101.5 FM 720 AM KDWNProgrammingFormatDefunct (was talk radio and brokered programming)AffiliationsFox News RadioCompass Media NetworksGenesis Communications NetworkPremiere NetworksWestwood OneKSNV weather coverageOwnershipOwnerAudacy, Inc.(Audacy License, LLC, as Debtor-in-Possession)Sister stationsKLUC-FMKMXBKXNTKXQQ-FMKXSTHistoryFirst air dateApril...

 

Kebun Raya Purwodadi

Kebun Raya PurwodadiRumah kaca dan menara pandang di Kebun Raya PurwodadiLokasi di Jawa TimurLokasiPurwodadi, Pasuruan Jawa TimurArea85 hektare (210 ekar; 0,85 km2)Dibuat30 Januari 1941 (1941-01-30)Dioperasikan olehLembaga Ilmu Pengetahuan IndonesiaSitus webhttp://www.krpurwodadi.lipi.go.idKebun Raya Purwodadi adalah sebuah kebun penelitian besar yang terletak di Kecamatan Purwodadi, Kabupaten Pasuruan, Jawa Timur. Kebun ini merupakan salah satu dari 3 cabang Kebun Raya Indones...

Deputy Minister of Investment, Trade and Industry (Malaysia)

Malaysia government deputy minister Deputy Minister of Investment, Trade and IndustryTimbalan Menteri Pelaburan, Perdagangan dan IndustriCoat of Arms of Government of MalaysiaIncumbentLiew Chin Tongsince 5 April 2023 (2023-04-05)Minister of Investment, Trade and IndustryStyleInvestment, Trade and Industry Deputy Minister(informal)Yang BerhormatThe Honourable(within Malaysia)Reports toPrime Minister of MalaysiaMinister of International Trade and Industry of MalaysiaSeatPutr...

 

BGL Luxembourg Open 2011

BGL Luxembourg Open 2011 Sport Tennis Data 17 ottobre – 23 ottobre Edizione 21ª Superficie Sintetico Campioni Singolare Viktoryja Azaranka Doppio Iveta Benešová / Barbora Záhlavová-Strýcová 2010 2012 Il BGL Luxembourg Open 2011 è stato un torneo di tennis giocato sul sintetico. È stata la 21ª edizione del BGL Luxembourg Open, che fa parte della categoria WTA International nell'ambito del WTA Tour 2011. Si è giocato a Lussemburgo, in Lussemburgo dal 17 al 23 ottobre. Indice 1 Par...

 

Autosampler

Device periodically collecting samples for an analytical instrument Autosampler An autosampler is commonly a device that is coupled to an analytical instrument providing samples periodically for analysis.[1] An autosampler can also be understood as a device that collects samples periodically from a large sample source, like the atmosphere or a lake, for example. Autosamplers enable substantial gains in productivity, precision and accuracy in many analytical scenarios, and therefore ar...

Aedile

Office of the Roman Republic Politics of ancient Rome Periods Roman Kingdom753–509 BC Roman Republic509–27 BC Roman Empire27 BC – AD 395 Principate27 BC – AD 284 DominateAD 284–641 WesternAD 395–476 EasternAD 395–1453 Timeline Constitution Kingdom Republic Sullan republic Empire Augustan reforms Late Empire Political institutions Imperium Collegiality Auctoritas Roman citizenship Cursus honorum Assemblies Centuriate Curiate Plebeian Tribal Ordinary magistrates Consul Praetor Qua...

 

Nalaka Godahewa

Sri Lankan businessman Hon. DrNalaka GodahewaMPනාලක ගොඩහේවාநாலக கொடஹேவாMinister of Mass MediaIn office18 April 2022 – 9 May 2022PresidentGotabaya RajapaksaPrime MinisterMahinda RajapaksaPreceded byDullas AlahapperumaSucceeded byBandula GunawardaneMember of Parliamentfor Gampaha DistrictIncumbentAssumed office 20 August 2020Majority325,479 votes[1]State Minister of Urban DevelopmentIn office20 August 2020 – 18 April ...

 

Kenny Sansom

Questa voce o sezione sull'argomento calciatori britannici non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Questa voce sull'argomento calciatori inglesi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Kenny SansomNa...

Paul Greengard

Paul GreengardGreengard pada tahun 2009Lahir(1925-12-11)11 Desember 1925New York City, New York, Amerika SerikatMeninggal13 April 2019(2019-04-13) (umur 93)New York City, New York, Amerika SerikatKebangsaanAmerika SerikatSuami/istriUrsula von Rydingsvard (pernikahan kedua, pada 1985)Anak2 (dari pernikahan pertamanya)PenghargaanNobel Fisiologi dan Kedokteran (2000)Penghargaan NAS dalam Ilmu Saraf (1991)Penghargaan Dickson (1978)Karier ilmiahBidangIlmu sarafInstitusiUniversitas Rockefelle...

 

African Violet (film)

2019 Iranian filmAfrican VioletFilm posterDirected byMona Zandi HaghighiWritten byHamidreza Bababeygi Mona Zandi HaghighiProduced bySina Saeidian Alireza Shoja NouriStarring Fatemeh Motamed Arya Saeed Aghakhani Reza Babak CinematographyFarhad SabaEdited byBahram DehghaniMusic byPeyman YazdanianProductioncompanyBehnegarDistributed byDreamlab FilmsRelease dates 1 February 2019 (2019-02-01) (Fajr Film Festival) 1 September 2020 (2020-09-01) (Iran) Running ti...

 

Tour de France 2008

Tour de France 2008Carlos Sastre, vêtu du maillot jaune, durant la dernière étapeGénéralitésCourse 95e Tour de FranceÉtapes 21Date 5 au 27 juillet 2008Distance 3 558,5 kmPays traversé(s) France ItalieLieu de départ BrestLieu d'arrivée ParisÉquipes 20Partants 180Vitesse moyenne 40,492 km/hRésultatsVainqueur Carlos SastreDeuxième Cadel EvansTroisième Denis MenchovClassement par points Óscar FreireMeilleur grimpeur Carlos Sastre[1]Meilleur jeune Andy SchleckMeilleur...

Monte Maggiorasca

Monte MaggiorascaMonte Maggiorasca, inverno 2005Stato Italia Regione Emilia-Romagna Liguria Provincia Genova Parma Altezza1 804 m s.l.m. Prominenza957 m Isolamento42,87 km CatenaAppennino ligure Coordinate44°33′03.15″N 9°29′23.6″E44°33′03.15″N, 9°29′23.6″E Mappa di localizzazioneMonte Maggiorasca Modifica dati su Wikidata · Manuale Il monte Maggiorasca è la vetta più alta dell'Appennino Ligure (1804 m s.l.m.[1&#...

 

Florida's Tribute to the Women of the Confederacy

Outdoor memorial to Confederate women in Jacksonville, Florida's Springfield Park Florida's Tribute to the Women of the ConfederacyThe monument in 201330°20′05″N 81°39′16″W / 30.33481°N 81.65447°W / 30.33481; -81.65447LocationJacksonville, Florida, U.S.DesignerAllen George NewmanTypeSculpture Florida's Tribute to the Women of the Confederacy, also known as A Tribute to the Women of the Southern Confederacy and the Monument to the Women of the Confederacy,&#...

 

Inspector general

Investigative official in a civil or military organization This article is about the administrative office. For the Russian play by Nikolai Gogol, see The Government Inspector. For the Danny Kaye film, see The Inspector General (1949 film). The examples and perspective in this article may not represent a worldwide view of the subject. You may improve this article, discuss the issue on the talk page, or create a new article, as appropriate. (February 2022) (Learn how and when to remove this me...

Listed buildings in Melling-with-Wrayton

Melling-with-Wrayton is a civil parish in Lancaster, Lancashire, England. It contains 22 listed buildings that are recorded in the National Heritage List for England. Of these, one is listed at Grade I, the highest of the three grades, one is at Grade II*, the middle grade, and the others are at Grade II, the lowest grade. The parish contains the village of Melling and the hamlet of Wrayton, and is otherwise rural. Most of the listed buildings are houses, farmhouses and associ...

 

Lima Duarte

Questa voce sull'argomento centri abitati del Minas Gerais è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Lima Duartecomune Lima Duarte – Veduta LocalizzazioneStato Brasile Stato federato Minas Gerais MesoregioneZona da Mata MicroregioneJuiz de Fora AmministrazioneSindacoArzenclever Geraldino Silva TerritorioCoordinate21°50′28″S 43°47′33″W21°50′28″S, 43°47′33″W (Lima ...