Konjekto (matematiko)

En matematiko, konjekto estas matematika frazo kiu ŝajnas al esti vera, sed ne estas formale pruvita al esti vera sub la reguloj de matematika logiko. Iam konjekto estas formale pruvita kaj tiam ĝi estas altigita al la statuso de teoremo kaj povas esti uzita poste sen risko en la konstruado de aliaj formalaj matematikaj pruvoj. Ĝis tiu tempo, matematikistoj povas uzi la konjekton en portempa bazo, sed tiam ĉiu rezultanta laboro estas mem portempa ĝis kiam la konjekto estas pruvita.

En scienca filozofio, Karl Popper proponis uzon de la termino "konjekto" al indiki ke la frazo estas supozata al esti vera, sed plejparte surbaze de nekonkludigaj aĵoj, en kontrasto kun hipotezo (de ĉi tie teorio, aksiomo, principo), kiu estas frazo provebla surbaze de akceptitaj scioj.

Other Languages
asturianu: Conxetura
català: Conjectura
کوردی: مەزندە
čeština: Domněnka
Ελληνικά: Εικασία
English: Conjecture
español: Conjetura
فارسی: حدس
français: Conjecture
Gaeilge: Tuairimíocht
Gàidhlig: Baralachas
galego: Conxectura
हिन्दी: अटकल
magyar: Sejtés
Bahasa Indonesia: Konjektur
italiano: Congettura
日本語: 予想
한국어: 추측
Latina: Coniectura
lietuvių: Prielaida
Bahasa Melayu: Konjektur
Nederlands: Vermoeden
português: Conjectura
sicilianu: Cungittura
Simple English: Conjecture
slovenčina: Domnienka
svenska: Förmodan
Türkçe: Konjektür
татарча/tatarça: Гөман
українська: Припущення
中文: 猜想
粵語: 猜想