Postulat

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources ().

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Consultez la liste des tâches à accomplir en page de discussion.

Le postulat (du latin postulare qui signifie « demander ») est un principe non démontré utilisé dans la construction d'une théorie mathématique.

Par extension, en épistémologie, un postulat est une proposition qui ne paraît pas évidente mais que l'on admet implicitement ou explicitement comme un principe utilisé dans la construction d'une théorie scientifique[1].

Définition

Un postulat peut être utilisé avec l'assentiment de l'auditeur, qui le prend comme un principe non démontré mais sans doute légitime, car semblant intuitivement non contestable (ou parce que prouvé ultérieurement par des démonstrations ne le faisant pas intervenir — voir autoréférence, tautologie). La plupart des postulats sont jugés comme étant des marques de bon sens, des appuis sur l'expérience.

Mathématiques

Le postulat est ce que le mathématicien demande qu'on lui accorde et qui sert de fondement au reste de son exposé ; il n'est cependant pas par définition interdit de le démontrer plus tard. En ce sens, le postulat se distingue de l'axiome, ce dernier étant toujours posé au départ comme un élément fondamental du système qu'on ne cherchera pas à démontrer.

Géométrie

La géométrie issue d'Euclide était présentée avec des axiomes, supposés ne pas avoir à être justifiés, et d'un postulat (par un point donné et parallèlement à une droite donnée passe une et une seule droite) qui possiblement aurait pu être démontré à partir de ces axiomes. La découverte de l'indépendance de ce postulat relativement aux autres axiomes amena à considérer trois géométries tranchant par des axiomes distincts ce postulat qui n'est devenu axiome que dans la seule géométrie euclidienne, mais pas dans les géométries non euclidiennes. Au sein d'une théorie axiomatique, c'est un énoncé indépendant des autres axiomes, par contre un postulat, que l'on appelle de manière contemporaine plutôt une conjecture, est un énoncé supposé être un théorème de la théorie mais qui possiblement peut être un indécidable de cette théorie, ainsi le statut (indécidable ou théorème) d'un postulat n'est pas connu.

Notes et références

  1. ↑ Robert Nadeau, Vocabulaire technique et analytique de l’épistémologie, L’Harmattan, , p. 496

Voir aussi

Sur les autres projets Wikimedia :

Articles connexes

Read other articles:

Cimpa Unong Unong

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. Cimpa unong-unong atau cimpa unung-unung adalah sejenis makanan tradisional. Makanan ini berasal dari Kabupaten Karo. Makanan ini sendiri dinamakan cimpa unong-unong karena memiliki arti kue unong-unong. Bahan utamanya dibuat dari pulut, yaitu sejenis ...

 

Gelik

Gelik Otolithes ruber Status konservasiRisiko rendahIUCN49187711 TaksonomiKerajaanAnimaliaFilumChordataKelasActinopteriOrdoPerciformesFamiliSciaenidaeGenusOtolithesSpesiesOtolithes ruber Tata namaSinonim takson Johnius ruber Bloch & Scheider, 1801 Otolithoides ruber (Bloch & Schneider, 1801) Otolithus ruber (Bloch & Schneider, 1801) Otolithus versicolor Cuvier, 1829 Otolithus argenteus Cuvier, 1830 Otolithes argenteus (Cuvier, 1830) Otolithus tridentifer Richardson, 1846 Otolithus...

 

Daftar penguasa Prusia

Raja PrusiaLambang kerajaanWilhelm II PerincianPenguasa pertamaAlbert (sebagai Adipati)Pembentukan10 April 1525KediamanStadtschloss, Berlin (terakhir)PenunjukHerediter Lambang Kerajaan Prusia Raja Prusia adalah anggota Wangsa Hohenzollern yang merupakan penguasa keturunan dari bekas negara Jerman Prusia dari pendiriannya pada tahun 1525 sebagai Kadipaten Prusia. Kadipaten telah berevolusi dari Ordo Teutonik, Katolik Roma, negara tentara salib, dan teokrasi yang terletak di sepanjang pant...

القيادة العليا للبحرية الإمبراطورية

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) شعار مكتب القيادة العليا البحرية الإمبراطورية القيادة العليا للبحرية الإمبراطورية كان مكتب تابع للإمبر...

 

Armidian Karyatama

PT Armidian Karyatama TbkJenisPublikKode emitenIDX: ARMYIndustripropertiDidirikan1994KantorpusatMaja, IndonesiaTokohkunciBambang Irianto Presiden DirekturProdukpropertiPendapatanRp 178,9 miliar (2017), Rp 191,2 miliar (2018) Laba bersihRp 29,5 miliar (2017), Rp 56,5 miliar (2018) Karyawan14 orang (2018)Situs webwww.armidian.co.id Armidian Karyatama merupakan perusahaan publik yang bergerak dalam bidang properti dan bermarkas di Maja, Indonesia. Perusahaan ini didirikan pada tahun 1994 dan ter...

 

العلاقات الأسترالية الباهاماسية

العلاقات الأسترالية الباهاماسية أستراليا باهاماس   أستراليا   باهاماس تعديل مصدري - تعديل   العلاقات الأسترالية الباهاماسية هي العلاقات الثنائية التي تجمع بين أستراليا وباهاماس.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدول�...

Dewan Kerja

Tanda jabatan Dewan Kerja (dari kiri ke kanan: nasional, daerah, cabang, ranting) Dewan Kerja adalah satuan organisasi di tingkat Kwartir Pramuka yang merupakan wadah pembinaan dan pengembangan kaderisasi kepemimpinan. Dewan Kerja beranggotakan Pramuka Penegak dan Pramuka Pandega Putri Putra, sebagai bagian integral dari Kwartir yang diberi wewenang dan kepercayaan untuk mengelola pembinaan dan kegiatan Pramuka Penegak dan Pramuka Pandega sesuai prinsip dari, oleh dan untuk Pramuka Penegak da...

 

Final Piala Raja Spanyol 1985

Final Piala Raja Spanyol 1985TurnamenPiala Raja Spanyol 1984–1985 Atlético Madrid Athletic Bilbao 2 1 Tanggal30 Juni 1985StadionStadion Santiago Bernabéu, MadridWasitJosé María Miguel PérezPenonton85.000← 1984 1986 → Final Piala Raja Spanyol 1985 adalah pertandingan final ke-81 dari turnamen sepak bola Piala Raja Spanyol untuk menentukan juara musim 1984–1985. Pertandingan ini diikuti oleh Atlético Madrid dan Athletic Bilbao dan diselenggarakan pada 30 Juni 1985 di Stadi...

 

George Washington Glick

American politician George Washington Glick9th Governor of KansasIn officeJanuary 8, 1883 – January 12, 1885LieutenantDavid W. FinneyPreceded byJohn St. JohnSucceeded byJohn A. MartinMember of the Kansas State LegislatureIn office1862 Personal detailsBornJuly 4, 1827Fairfield County, OhioDiedApril 13, 1911(1911-04-13) (aged 83)Atchison, KansasPolitical partyDemocraticSpouseElizabeth RiderProfessionAttorney, politician George Washington Glick (July 4, 1827 – April 13, 191...

Benevento Calcio 2012-2013

Voce principale: Benevento Calcio. Benevento CalcioStagione 2012-2013Sport calcio Squadra Benevento Allenatore Jorge Martínez, poi Guido Ugolotti, poi Guido Carboni Presidente Oreste Vigorito Lega Pro Prima Divisione6º nel girone B Coppa ItaliaSecondo turno Coppa Italia Lega ProTerzo turno StadioCiro Vigorito (25 000) Media spettatori¹ 2011-2012 2013-2014 ¹ considera le partite giocate in casa in tutte le competizioni.Si invita a seguire il modello di voce Questa voce raccoglie...

 

Linda Westerlund Snecker

Swedish politician (born 1983) Linda Westerlund SneckerSnecker in May 2018Member of the RiksdagIncumbentAssumed office 29 September 2014ConstituencyÖstergötland County Personal detailsBorn (1983-02-03) 3 February 1983 (age 41)Political partyLeft Party Linda Westerlund Snecker (born 3 February 1983)[1] is a Swedish politician. Since September 2014,[update] she serves as Member of the Riksdag representing the constituency of Östergötland County.[2][...

 

Freedom of association

Right to collective action Part of a series onLibertarianism Concepts Abstention Age of consent reform Anti-authoritarianism Anti-capitalism Antimilitarism Anti-statism Class struggle Counter-economics Crypto-anarchism Decentralization Departurism Direct action Economic freedom Egalitarianism Evictionism Expropriative anarchism Federalism (anarchist) Free association (Marxism and anarchism) Free love Free market Free-market environmentalism Free migration Free trade Freedom of association Fre...

Prunus virginiana

Species of plant Not to be confused with Aronia, called chokeberries. Prunus virginiana Prunus virginiana var. virginiana (eastern chokecherry) in bloom Conservation status Least Concern  (IUCN 3.1)[1] Scientific classification Kingdom: Plantae Clade: Tracheophytes Clade: Angiosperms Clade: Eudicots Clade: Rosids Order: Rosales Family: Rosaceae Genus: Prunus Subgenus: Prunus subg. Padus Species: P. virginiana Binomial name Prunus virginianaL. Natural range Synonyms[2]...

 

周處除三害 (電影)

周處除三害The Pig, The Snake and The Pigeon正式版海報基本资料导演黃精甫监制李烈黃江豐動作指導洪昰顥编剧黃精甫主演阮經天袁富華陳以文王淨李李仁謝瓊煖配乐盧律銘林孝親林思妤保卜摄影王金城剪辑黃精甫林雍益制片商一種態度電影股份有限公司片长134分鐘产地 臺灣语言國語粵語台語上映及发行上映日期 2023年10月6日 (2023-10-06)（台灣） 2023年11月2日 (2023-11-02)（香�...

 

The Hidden Hero

The Hidden HeroPoster teatrikal untuk The Hidden Hero (1980)Nama lainHangul깃발없는 기수 Hanja깃발없는 旗手 Alih Aksara yang DisempurnakanGitbal eobneun gisuMcCune–ReischauerKitpal ŏmnŭn kisu SutradaraIm Kwon-taek[1]ProduserPark Chong-chanPemeranHah Myung-joongPenata musikGang Seok-huiSinematograferLee Suck-kiPenyuntingKim Hee-suDistributorHwa Chun Trading Co.Tanggal rilis 04 September 1980 (1980-09-04) Durasi96 menitNegaraKorea SelatanBahasaKorea The ...

土库曼斯坦总统

土库曼斯坦总统土库曼斯坦国徽土库曼斯坦总统旗現任谢尔达尔·别尔德穆哈梅多夫自2022年3月19日官邸阿什哈巴德总统府（Oguzkhan Presidential Palace）機關所在地阿什哈巴德任命者直接选举任期7年，可连选连任首任萨帕尔穆拉特·尼亚佐夫设立1991年10月27日 土库曼斯坦土库曼斯坦政府与政治 国家政府 土库曼斯坦宪法 国旗 国徽 国歌 立法機關（英语：National Council of Turkmenistan） ...

 

State Employees Credit Union

Public employees' credit union in North Carolina For other uses, see SECU (disambiguation). State Employees' Credit UnionState Employees Credit Union, Wade Ave., Raleigh, North CarolinaCompany typeCredit unionIndustryFinancial servicesFoundedJune 4, 1937; 86 years ago (1937-06-04)HeadquartersRaleigh, North Carolina, U.S.Key peopleLeigh Brady (CEO)ProductsSavings; checking; consumer loans; mortgages; credit cards; investments; online banking; insuranceTotal assets $49.6B USD ...

 

Nanaia Mahuta

The HonourableNanaia MahutaMPMahuta pada 2019 Menteri Urusan Luar Negeri ke-28Mulai menjabat6 November 2020Perdana MenteriJacinda ArdernMenggantikanWinston PetersMenteri Pembangunan Māori ke-44PetahanaMulai menjabat 26 Oktober 2017Perdana MenteriJacinda ArdernPendahuluTe Ururoa FlavellPenggantiWillie JacksonMenteri Pemerintahan Lokal ke-12PetahanaMulai menjabat 26 Oktober 2017Perdana MenteriJacinda ArdernPendahuluAnne TolleyPenggantiPetahanaMasa jabatan19 Oktober 2005 – 24...

Demographics of California

Demographics of CaliforniaPopulation pyramid of California in 2019Population38,940,231 (2023)[1] California is the most populated U.S. state, with an estimated population of 38.9 million as of 2023.[1] It has people from a wide variety of ethnic, racial, national, and religious backgrounds. Population Historical population CensusPop.Note%± 185092,597—1860379,994310.4%1870560,24747.4%1880864,69454.3%18901,213,39840.3%19001,485,05322.4%19102,377,54960.1%19203,426,86144.1%193...

 

2016–17 Nevada Wolf Pack men's basketball team

American college basketball season 2016–17 Nevada Wolf Pack men's basketballMountain West regular season champions Mountain West tournament championsNCAA tournament, First RoundConferenceMountain West ConferenceRecord28–7 (14–4 MW)Head coachEric Musselman (2nd season)Assistant coaches Dave Rice Yanni Hufnagel Ronald Dupree Home arenaLawlor Events CenterSeasons← 2015–162017–18 → 2016–17 Mountain West Conferencemen's basketball standings Conf Overall ...