Conjecture (original) (raw)
Una conjectura és, en matemàtiques, un enunciat que per al qual hi ha bones intuïcions que fan pensar que és vertader, però que encara no ha estat demostrat ni refutat. Quan s'ha demostrat una conjectura rep el nom de teorema.
| Property | Value |
|---|---|
| dbo:abstract | Una conjectura és, en matemàtiques, un enunciat que per al qual hi ha bones intuïcions que fan pensar que és vertader, però que encara no ha estat demostrat ni refutat. Quan s'ha demostrat una conjectura rep el nom de teorema. (ca) Domněnka (mínění, dohad) je tvrzení, které může být správné, ale dosud nebylo dokázáno ani vyvráceno. V obecné češtině je domněnkou jakýkoli neprokázaný názor. Vědecká domněnka se také označuje jako hypotéza, v právu jako presumpce nebo právní fikce, v bibliografii konjektura. Zvláště v matematice se pak předpokládá, že dříve či později bude nalezen důkaz, který prokáže pravdivost nebo nepravdivost daného tvrzení za určitých předpokladů (axiomů). K odstranění nejistoty kolem domněnky jsou činěny pokusy o její vyvrácení, třeba pomocí protipříkladu, nebo naopak nalezení jejího důkazu. Vyvrácená domněnka je omyl. Ne každou domněnku však lze dokázat nebo vyvrátit. Hypotéza kontinua, která postuluje mohutnost některých nekonečných množin, se nakonec ukázala jako nerozhodnutelná (nezávislá na obecně uznávaných axiomech teorie množin). Je proto možné přijmout tuto hypotézu nebo její opak jako nový axiom a pracovat s ní dále konzistentním způsobem. (cs) في الرياضيات الحدسية هي كل ما عجز الرياضيون على الإتيان ببرهان يؤكد صحة المقولة أو يقدم الدليل على خطئها. الحدسية قد تسمى أيضا فرضية كما هو الشأن بفرضية ريمان. (ar) Στα μαθηματικά, μια εικασία είναι ένα ή μια που φαίνεται να είναι σωστή με βάση κάποια ελλιπή στοιχεία, αλλά δεν έχει βρεθεί ακόμα κάποια απόδειξη. Εικασίες όπως η Υπόθεση Ρίμαν ή πρώην εικασίες όπως το Τελευταίο θεώρημα του Φερμά (που πλέον έχει αποδειχθεί, αλλά εξακολουθεί να αναφέρεται ως εικασία) έχουν διαμορφώσει ένα μεγάλο μέρος της μαθηματικής ιστορίας, καθώς νέοι τομείς των μαθηματικών έχουν αναπτυχθεί για να τις επιλύσουν. (el) En matematiko, konjekto estas 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. (eo) In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. (en) In der Metamathematik ist eine Vermutung eine Aussage, von der nicht klar ist oder einige Zeit nicht klar war, ob sie zutrifft oder nicht. (de) Por conjetura se entiende el juicio que se forma (moral, ético o matemático) de las cosas o sucesos por indicios u observaciones. En matemáticas, el concepto de conjetura se refiere a una afirmación o una proposición que se supone cierta, pero que no ha sido demostrada ni refutada hasta la fecha. Una vez que se demuestra la veracidad de una conjetura, esta pasa a ser considerada un teorema de pleno derecho y puede utilizarse como tal para construir otras demostraciones formales. Algunas conjeturas, como la hipótesis de Riemann (todavía una conjetura) o el último teorema de Fermat (una conjetura hasta que Andrew Wiles lo demostró en 1995), han dado forma a gran parte de la historia matemática como nuevas áreas de las matemáticas se desarrollan con el fin de demostralos. (es) Zientzian, eta bereziki matematikan, aierua frogatu eta faltsutu gabeko proposizio bat da, hala eta guztiz ere egiazkotzat jotzen dena. Bereziki, matematikan erabiltzen dira, formalki frogatu ez diren baina aurkako adibiderik ez duten proposizioak izendatzeko. Zientzian, hipotesiaren antzeko kontzeptua da, baina aierua ez bezala, hipotesia guztiz frogagarria da behar diren datu enpirikoak jasoz. (eu) En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés). Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés. Si une conjecture se révèle indécidable relativement au système d'axiomes dans laquelle elle s'insère, elle peut être érigée en nouvel axiome (ou rejetée par la mise en place d'un nouvel axiome). Dans le langage courant, on désigne comme conjecture une hypothèse qui n'a encore reçu aucune confirmation. (fr) Sa mhatamaitic, toradh a chreidtear a bheith fíor ach nach bhfuil cruthú aimsithe fós air agus a thairgtear mar dhúshlán fiúntach. De ghnáth bíonn cuid mhaith fianaise ar fáil gur féidir go bhfuil sé fíor, agus uaireanta bíonn sé fíor i gcuid mhaith cásanna ar leith. Uaireanta baineann so-chreidteacht mhaith intreach leis an gcoincheap. Uaireanta eile, aidhmeanna clár uaillmhianach taighde a bhíonn i gceist, a dtuigtear go mb'fhéidir go mbeadh mionathruithe suntasacha de dhíth chun an toradh ceart fíor a aimsiú. Ba thuairimíocht cháiliúil teoirim dheireanach Fermat, a cruthaíodh sna 1990aidí, ach is tuairimíocht cháiliúil eile hipitéis Riemann, nár aimsíodh cruthú fós uirthi. (ga) Konjektur adalah sebuah proposisi yang dipradugakan sebagai hal yang nyata, benar, atau asli, sebagian besarnya didasarkan pada landasan yang tidak (tanpa kesimpulan). Karl Popper merintis penggunaan istilah "konjektur" di dalam filsafat ilmu. Konjektur bertentangan dengan hipotesis (oleh karenanya bertentangan pula dengan teori, aksioma, ataupun prinsip), yang merupakan pernyataan yang mengandung perjanjian menurut landasan yang dapat diterima. Di dalam matematika, konjektur adalah proposisi yang tidak terbuktikan atau tidak memerlukan bukti atau juga teorema yang dianggap pasti benar adanya. (in) ( 다른 뜻에 대해서는 추론 문서를 참고하십시오.)( 비슷한 이름의 추정에 관해서는 해당 문서를 참조하십시오.) 수학에서 추측(推測, 영어: conjecture)은 맞다고 여겨지지만, 아직 증명되거나 반증되지 않은 명제를 말한다. (ko) Una congettura (dal latino coniectūra, dal verbo conīcere, ossia "interpretare, dedurre, concludere") è un'affermazione o un giudizio fondato sull'intuito, ritenuto probabilmente vero, ma non ancora rigorosamente dimostrato, cioè dunque relegato solamente a rango di ipotesi. (it) 予想（よそう、英: expectation, forecast, conjecture）とは、私たちが何かをするときに、意識的あるいは無意識的に、先の見通しについて想い描くことである。辞書的な意味としては、「未来のことについて、あらかじめ見当をつけること」、「まだわからないことを想像すること。」とされているが、これらも「先の見通しについて想い描くこと」の一つである。 (ja) Een vermoeden is een bewering waarvan men denkt dat deze waar is, zonder daarvan zeker te zijn. In de wiskunde is een vermoeden een wiskundige uitspraak waarvan wiskundigen denken dat deze waar is, terwijl er nog geen sluitend bewijs voor gevonden is. Wordt het bewijs geleverd, dan spreekt men van een stelling. Sommige stellingen zijn jarenlang vermoedens geweest. Het bekendste geval, en tevens een van de extreemste, was de laatste stelling van Fermat, die van 1637 tot 1995 onbewezen bleef. Fermat presenteerde deze als stelling, maar zonder een bewijs te leveren. Nog altijd onbewezen is het vermoeden van Goldbach. (nl) Przypuszczenie – w matematyce przypuszczenie jest niedowiedzionym twierdzeniem, które wydaje się być poprawne. (pl) Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом. Гипотеза Римана, Великая теорема Ферма, гипотеза Варинга и некоторые другие математические гипотезы сыграли значительную роль в математике, поскольку попытки их доказательства привели к созданию новых областей и методов исследования. (ru) En förmodan eller antagande inom matematik är ett påstående som antas vara sant, men som saknar ett känt bevis eller motbevis. (I engelska används benämningen "conjecture".) Ordet hypotes används ibland synonymt, men kan även beteckna ett tillfälligt antagande, exempelvis i ett motsägelsebevis. Om en förmodan kan bevisas blir den en matematisk sats. En mycket känd förmodan som bevisats är Fermats stora sats (som lite missvisande kallades sats även innan den bevisades). Berömda förmodanden som ännu väntar på ett bevis är Riemannhypotesen och primtalstvillingsförmodan. (sv) Uma conjectura é uma ideia, fórmula ou frase, a qual não foi provada ser verdadeira, baseada em suposições ou ideias com fundamento não verificado. As conjecturas utilizadas como prova de resultados matemáticos recebem o nome de hipóteses. Na área do Direito a conjectura só pode ser usada como tese argumentatória, pois a Justiça não pode ser baseada em suposições mas em evidências e provas. Conjectura, entretanto, forma uma das bases das indagações filosóficas. (pt) Припущення (або гіпотеза) — судження чи висловлювання, для якого не було знайдено доведення.. Гіпотеза в математиці — твердження, яке на основі доступної інформації здається з високою ймовірністю правильним, але для якого не вдається отримати математичне доведення. Математична гіпотеза є відкритою математичною проблемою, і кожну нерозв’язану математичну проблему, яка є проблемою розв'язності, можна сформулювати у формі гіпотези. Однак у вигляді гіпотези може бути сформульована не кожна математична проблема. Наприклад, конкретний розв’язок деякої системи рівнянь або задачі оптимізації для 2208 невідомих передбачити неможливо, але такий розв’язок може бути не тільки практичним, але і власне математичним результатом Гіпотеза Рімана, Велика теорема Ферма, гіпотеза Воринга і деякі інші математичні гіпотези зіграли значну роль в математиці, оскільки спроби їх довести привели до створення нових галузей і методів дослідження. (uk) 數學中的猜想是在根據不完全資訊下的結論及命题，是不知其真假的數學敘述，它可能為真，暫時未被證明或反證 。某些猜想會稱為「假設」，尤其是當它是針對某些問題提出的答案。 像黎曼猜想（目前仍然是猜想）或是費馬最後定理（以往是猜想，一直到1995年才得證）都對數學歷史帶來許多的進展，而且為了證明這些猜想，也發展了新的數學領域。 當猜想被證明後，它便會成為定理。猜想只要未成為定理，數學家都要小心在邏輯結構之中使用這些猜想。猜想主要因為類比推理和偶然發現的巧合而出現。數學家通常會使用，來測試自己的猜想。例如費馬曾經根據首五個費馬數是素數，便猜想所有費馬數都是素數（此猜想已被推翻）。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/RiemannCriticalLine.svg?width=300 |
| dbo:wikiPageExternalLink | http://garden.irmacs.sfu.ca/ https://web.archive.org/web/20191107190855/http:/www.unsolvedproblems.org/ |
| dbo:wikiPageID | 6138 (xsd:integer) |
| dbo:wikiPageLength | 23597 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093253991 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prime_numbers dbr:Science dbr:List_of_conjectures dbr:Millennium_Prize_Problems dbr:Representation_theory dbr:David_Hilbert dbc:Statements dbr:Homeomorphic dbr:Homotopy_equivalence dbr:John_von_Neumann dbr:Ricci_flow dbr:Richard_S._Hamilton dbr:Riemann_hypothesis dbr:Riemann_zeta_function dbr:Characterization_(mathematics) dbr:Independence_(mathematical_logic) dbr:Infinite_set dbr:Lie_group dbr:Hypotheticals dbc:Conjectures dbr:Computer-assisted_proof dbr:Consequent dbr:Analytic_torsion dbr:Mathematics dbr:Generalized_Poincaré_conjecture dbr:Geometric_topology dbr:Clay_Mathematics_Institute dbr:Collatz_conjecture dbr:Edwin_E._Moise dbr:Futures_studies dbr:Generating_function dbr:Geometrization_conjecture dbr:Goldbach_conjecture dbr:Modularity_theorem dbr:Conditional_proof dbr:Continuum_hypothesis dbr:Theorem dbr:Andrew_Wiles dbr:ArXiv dbr:Arithmetica dbr:Local_zeta-function dbr:Stephen_Cook dbr:Closed_manifold dbr:Francis_Guthrie dbr:Functional_equation dbr:Parallel_postulate dbr:Path_(topology) dbr:Proposition dbr:Maldacena_conjecture dbc:Concepts_in_the_philosophy_of_science dbr:Tibor_Radó dbr:Topology dbr:Twin_prime_conjecture dbr:Weil_conjectures dbr:Hauptvermutung dbr:Heinrich_Franz_Friedrich_Tietze dbr:Langlands_program dbr:3-sphere dbr:Algebraic_number_theory dbr:Algebraic_variety dbr:3-manifold dbr:Ernst_Steinitz dbr:Euclid dbr:Euler's_sum_of_powers_conjecture dbr:Fermat's_Last_Theorem dbr:Finite_field dbr:Four_Corners_Monument dbr:Number_theory dbr:Cardinal_number dbr:Formal_proof dbr:Four_color_theorem dbr:Goldbach's_conjecture dbr:Hilbert's_eighth_problem dbr:History_of_mathematics dbr:Proof_by_exhaustion dbr:Mathematical_proof dbr:Pólya_conjecture dbr:Rational_function dbr:Rational_point dbr:Grigori_Perelman dbr:Henri_Poincaré dbr:Hilbert's_problems dbr:Counterexample dbr:Hypothesis dbr:Prime_number dbr:Riemann_hypothesis_for_curves_over_finite_fields dbr:August_Ferdinand_Möbius dbc:Mathematical_terminology dbr:John_Milnor dbr:Karl_Popper dbr:Kenneth_Appel dbr:Triangulation_(topology) dbr:Dimension dbr:Axiom dbr:Axiom_of_choice dbr:Manifold dbr:Bold_hypothesis dbr:Pierre_de_Fermat dbr:Poincaré_conjecture dbr:Positive_number dbr:Integer dbr:Kurt_Gödel dbr:Real_part dbr:Second_Hardy–Littlewood_conjecture dbr:Sequence dbr:Wolfgang_Haken dbr:Root_of_a_function dbr:Euclidean_geometry dbr:List_of_unsolved_problems_in_computer_science dbr:Five_color_theorem dbr:Manin_conjecture dbr:Pure_mathematics dbr:Unit_ball dbr:Wiles'_proof_of_Fermat's_Last_Theorem dbr:Philosophy_of_science dbr:Ramanujan_machine dbr:P_versus_NP_problem dbr:Universally_quantified dbr:Triangulable_space dbr:Simply_connected dbr:Guinness_Book_of_World_Records dbr:Zermelo–Fraenkel_axioms dbr:Unifying_conjecture dbr:Theorem-proving dbr:Wikt:contiguity dbr:File:Map_of_United_States_vivid_colors_shown.png dbr:File:RiemannCriticalLine.svg |
| dbp:authorLink | Bernhard Riemann (en) |
| dbp:authorlink | André Weil (en) |
| dbp:first | André (en) Bernhard (en) |
| dbp:last | Weil (en) Riemann (en) |
| dbp:wikiPageUsesTemplate | dbt:Commonscatinline dbt:For dbt:Harvtxt dbt:Main dbt:Portal_bar dbt:Quote dbt:Reflist dbt:Short_description dbt:Wiktionary dbt:Harvs |
| dbp:year | 1859 (xsd:integer) 1949 (xsd:integer) |
| dct:subject | dbc:Statements dbc:Conjectures dbc:Concepts_in_the_philosophy_of_science dbc:Mathematical_terminology |
| gold:hypernym | dbr:Conclusion |
| rdf:type | dbo:Work |
| rdfs:comment | Una conjectura és, en matemàtiques, un enunciat que per al qual hi ha bones intuïcions que fan pensar que és vertader, però que encara no ha estat demostrat ni refutat. Quan s'ha demostrat una conjectura rep el nom de teorema. (ca) في الرياضيات الحدسية هي كل ما عجز الرياضيون على الإتيان ببرهان يؤكد صحة المقولة أو يقدم الدليل على خطئها. الحدسية قد تسمى أيضا فرضية كما هو الشأن بفرضية ريمان. (ar) Στα μαθηματικά, μια εικασία είναι ένα ή μια που φαίνεται να είναι σωστή με βάση κάποια ελλιπή στοιχεία, αλλά δεν έχει βρεθεί ακόμα κάποια απόδειξη. Εικασίες όπως η Υπόθεση Ρίμαν ή πρώην εικασίες όπως το Τελευταίο θεώρημα του Φερμά (που πλέον έχει αποδειχθεί, αλλά εξακολουθεί να αναφέρεται ως εικασία) έχουν διαμορφώσει ένα μεγάλο μέρος της μαθηματικής ιστορίας, καθώς νέοι τομείς των μαθηματικών έχουν αναπτυχθεί για να τις επιλύσουν. (el) In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. (en) In der Metamathematik ist eine Vermutung eine Aussage, von der nicht klar ist oder einige Zeit nicht klar war, ob sie zutrifft oder nicht. (de) Por conjetura se entiende el juicio que se forma (moral, ético o matemático) de las cosas o sucesos por indicios u observaciones. En matemáticas, el concepto de conjetura se refiere a una afirmación o una proposición que se supone cierta, pero que no ha sido demostrada ni refutada hasta la fecha. Una vez que se demuestra la veracidad de una conjetura, esta pasa a ser considerada un teorema de pleno derecho y puede utilizarse como tal para construir otras demostraciones formales. Algunas conjeturas, como la hipótesis de Riemann (todavía una conjetura) o el último teorema de Fermat (una conjetura hasta que Andrew Wiles lo demostró en 1995), han dado forma a gran parte de la historia matemática como nuevas áreas de las matemáticas se desarrollan con el fin de demostralos. (es) Zientzian, eta bereziki matematikan, aierua frogatu eta faltsutu gabeko proposizio bat da, hala eta guztiz ere egiazkotzat jotzen dena. Bereziki, matematikan erabiltzen dira, formalki frogatu ez diren baina aurkako adibiderik ez duten proposizioak izendatzeko. Zientzian, hipotesiaren antzeko kontzeptua da, baina aierua ez bezala, hipotesia guztiz frogagarria da behar diren datu enpirikoak jasoz. (eu) Sa mhatamaitic, toradh a chreidtear a bheith fíor ach nach bhfuil cruthú aimsithe fós air agus a thairgtear mar dhúshlán fiúntach. De ghnáth bíonn cuid mhaith fianaise ar fáil gur féidir go bhfuil sé fíor, agus uaireanta bíonn sé fíor i gcuid mhaith cásanna ar leith. Uaireanta baineann so-chreidteacht mhaith intreach leis an gcoincheap. Uaireanta eile, aidhmeanna clár uaillmhianach taighde a bhíonn i gceist, a dtuigtear go mb'fhéidir go mbeadh mionathruithe suntasacha de dhíth chun an toradh ceart fíor a aimsiú. Ba thuairimíocht cháiliúil teoirim dheireanach Fermat, a cruthaíodh sna 1990aidí, ach is tuairimíocht cháiliúil eile hipitéis Riemann, nár aimsíodh cruthú fós uirthi. (ga) Konjektur adalah sebuah proposisi yang dipradugakan sebagai hal yang nyata, benar, atau asli, sebagian besarnya didasarkan pada landasan yang tidak (tanpa kesimpulan). Karl Popper merintis penggunaan istilah "konjektur" di dalam filsafat ilmu. Konjektur bertentangan dengan hipotesis (oleh karenanya bertentangan pula dengan teori, aksioma, ataupun prinsip), yang merupakan pernyataan yang mengandung perjanjian menurut landasan yang dapat diterima. Di dalam matematika, konjektur adalah proposisi yang tidak terbuktikan atau tidak memerlukan bukti atau juga teorema yang dianggap pasti benar adanya. (in) ( 다른 뜻에 대해서는 추론 문서를 참고하십시오.)( 비슷한 이름의 추정에 관해서는 해당 문서를 참조하십시오.) 수학에서 추측(推測, 영어: conjecture)은 맞다고 여겨지지만, 아직 증명되거나 반증되지 않은 명제를 말한다. (ko) Una congettura (dal latino coniectūra, dal verbo conīcere, ossia "interpretare, dedurre, concludere") è un'affermazione o un giudizio fondato sull'intuito, ritenuto probabilmente vero, ma non ancora rigorosamente dimostrato, cioè dunque relegato solamente a rango di ipotesi. (it) 予想（よそう、英: expectation, forecast, conjecture）とは、私たちが何かをするときに、意識的あるいは無意識的に、先の見通しについて想い描くことである。辞書的な意味としては、「未来のことについて、あらかじめ見当をつけること」、「まだわからないことを想像すること。」とされているが、これらも「先の見通しについて想い描くこと」の一つである。 (ja) Przypuszczenie – w matematyce przypuszczenie jest niedowiedzionym twierdzeniem, które wydaje się być poprawne. (pl) En förmodan eller antagande inom matematik är ett påstående som antas vara sant, men som saknar ett känt bevis eller motbevis. (I engelska används benämningen "conjecture".) Ordet hypotes används ibland synonymt, men kan även beteckna ett tillfälligt antagande, exempelvis i ett motsägelsebevis. Om en förmodan kan bevisas blir den en matematisk sats. En mycket känd förmodan som bevisats är Fermats stora sats (som lite missvisande kallades sats även innan den bevisades). Berömda förmodanden som ännu väntar på ett bevis är Riemannhypotesen och primtalstvillingsförmodan. (sv) Uma conjectura é uma ideia, fórmula ou frase, a qual não foi provada ser verdadeira, baseada em suposições ou ideias com fundamento não verificado. As conjecturas utilizadas como prova de resultados matemáticos recebem o nome de hipóteses. Na área do Direito a conjectura só pode ser usada como tese argumentatória, pois a Justiça não pode ser baseada em suposições mas em evidências e provas. Conjectura, entretanto, forma uma das bases das indagações filosóficas. (pt) 數學中的猜想是在根據不完全資訊下的結論及命题，是不知其真假的數學敘述，它可能為真，暫時未被證明或反證 。某些猜想會稱為「假設」，尤其是當它是針對某些問題提出的答案。 像黎曼猜想（目前仍然是猜想）或是費馬最後定理（以往是猜想，一直到1995年才得證）都對數學歷史帶來許多的進展，而且為了證明這些猜想，也發展了新的數學領域。 當猜想被證明後，它便會成為定理。猜想只要未成為定理，數學家都要小心在邏輯結構之中使用這些猜想。猜想主要因為類比推理和偶然發現的巧合而出現。數學家通常會使用，來測試自己的猜想。例如費馬曾經根據首五個費馬數是素數，便猜想所有費馬數都是素數（此猜想已被推翻）。 (zh) Domněnka (mínění, dohad) je tvrzení, které může být správné, ale dosud nebylo dokázáno ani vyvráceno. V obecné češtině je domněnkou jakýkoli neprokázaný názor. Vědecká domněnka se také označuje jako hypotéza, v právu jako presumpce nebo právní fikce, v bibliografii konjektura. Zvláště v matematice se pak předpokládá, že dříve či později bude nalezen důkaz, který prokáže pravdivost nebo nepravdivost daného tvrzení za určitých předpokladů (axiomů). (cs) En matematiko, konjekto estas 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. (eo) En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés). Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés. Si une conjecture se révèle indécidable relativement au système d'axiomes dans laquelle elle s'insère, elle peut être érigée en nouvel axiome (ou rejetée par la mise en place d'un nouvel axiome). (fr) Een vermoeden is een bewering waarvan men denkt dat deze waar is, zonder daarvan zeker te zijn. In de wiskunde is een vermoeden een wiskundige uitspraak waarvan wiskundigen denken dat deze waar is, terwijl er nog geen sluitend bewijs voor gevonden is. Wordt het bewijs geleverd, dan spreekt men van een stelling. Sommige stellingen zijn jarenlang vermoedens geweest. Het bekendste geval, en tevens een van de extreemste, was de laatste stelling van Fermat, die van 1637 tot 1995 onbewezen bleef. Fermat presenteerde deze als stelling, maar zonder een bewijs te leveren. (nl) Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом. (ru) Припущення (або гіпотеза) — судження чи висловлювання, для якого не було знайдено доведення.. Гіпотеза в математиці — твердження, яке на основі доступної інформації здається з високою ймовірністю правильним, але для якого не вдається отримати математичне доведення. Математична гіпотеза є відкритою математичною проблемою, і кожну нерозв’язану математичну проблему, яка є проблемою розв'язності, можна сформулювати у формі гіпотези. Однак у вигляді гіпотези може бути сформульована не кожна математична проблема. Наприклад, конкретний розв’язок деякої системи рівнянь або задачі оптимізації для 2208 невідомих передбачити неможливо, але такий розв’язок може бути не тільки практичним, але і власне математичним результатом (uk) |
| rdfs:label | حدسية (رياضيات) (ar) Conjectura (ca) Domněnka (cs) Vermutung (Mathematik) (de) Εικασία (el) Konjekto (matematiko) (eo) Conjetura (es) Aieru (zientzia) (eu) Conjecture (en) Tuairimíocht (ga) Konjektur (in) Conjecture (fr) Congettura (it) 予想 (ja) 추측 (ko) Vermoeden (nl) Przypuszczenie (pl) Conjectura (pt) Гипотеза (математика) (ru) 猜想 (zh) Förmodan (sv) Припущення (uk) |
| owl:sameAs | freebase:Conjecture wikidata:Conjecture dbpedia-ar:Conjecture http://ast.dbpedia.org/resource/Conxetura http://ba.dbpedia.org/resource/Гипотеза_(математика) dbpedia-ca:Conjecture http://ckb.dbpedia.org/resource/مەزندە dbpedia-cs:Conjecture http://cv.dbpedia.org/resource/Гипотеза_(математика) dbpedia-da:Conjecture dbpedia-de:Conjecture dbpedia-el:Conjecture dbpedia-eo:Conjecture dbpedia-es:Conjecture dbpedia-eu:Conjecture dbpedia-fa:Conjecture dbpedia-fi:Conjecture dbpedia-fr:Conjecture dbpedia-ga:Conjecture dbpedia-gd:Conjecture dbpedia-gl:Conjecture dbpedia-he:Conjecture http://hi.dbpedia.org/resource/अटकल dbpedia-hu:Conjecture http://hy.dbpedia.org/resource/Հիպոթեզ_(մաթեմատիկա) dbpedia-id:Conjecture dbpedia-it:Conjecture dbpedia-ja:Conjecture dbpedia-ko:Conjecture dbpedia-la:Conjecture http://lt.dbpedia.org/resource/Prielaida dbpedia-ms:Conjecture dbpedia-nl:Conjecture dbpedia-pl:Conjecture dbpedia-pt:Conjecture dbpedia-ru:Conjecture http://scn.dbpedia.org/resource/Cungittura dbpedia-simple:Conjecture dbpedia-sk:Conjecture dbpedia-sr:Conjecture dbpedia-sv:Conjecture dbpedia-th:Conjecture dbpedia-tr:Conjecture http://tt.dbpedia.org/resource/Гөман dbpedia-uk:Conjecture dbpedia-zh:Conjecture https://global.dbpedia.org/id/2wgtG |
| prov:wasDerivedFrom | wikipedia-en:Conjecture?oldid=1093253991&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Map_of_United_States_vivid_colors_shown.png wiki-commons:Special:FilePath/RiemannCriticalLine.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Conjecture |
| is dbo:wikiPageRedirects of | dbr:Conjectures dbr:Disproved_conjecture dbr:Undecidable_conjectures dbr:Mathematical_conjecture dbr:Conjectural dbr:Conjecture_(mathematics) dbr:Conjectured |
| is dbo:wikiPageWikiLink of | dbr:Catalan's_conjecture dbr:Amen dbr:Beal_conjecture dbr:Power_of_three dbr:Power_of_two dbr:Prime-counting_function dbr:Problem_of_induction dbr:Science dbr:Scientific_method dbr:Elementary_proof dbr:Endurance_running_hypothesis dbr:List_of_conjectures dbr:List_of_conjectures_by_Paul_Erdős dbr:M,n,k-game dbr:Mersenne_conjectures dbr:Montgomery's_pair_correlation_conjecture dbr:Paronym dbr:Scholz_conjecture dbr:Barnette's_conjecture dbr:Book_embedding dbr:Borromean_rings dbr:Dawn_Brancheau dbr:Aliquot_sequence dbr:Almgren–Pitts_min-max_theory dbr:Andrica's_conjecture dbr:Anthony_Hilton dbr:Apéry's_theorem dbr:John_Truss dbr:Jon_Folkman dbr:Bertrand's_postulate dbr:Paul_Erdős dbr:Peter_Tait_(physicist) dbr:Riemann_hypothesis dbr:Riemann_zeta_function dbr:Cubic_field dbr:Cullen_number dbr:Cutting_stock_problem dbr:Dade's_conjecture dbr:Ulam_number dbr:Vasily_Bazhenov dbr:Vertex-transitive_graph dbr:Vladimir_Markovic dbr:De_Bruijn_sequence dbr:De_Bruijn–Newman_constant dbr:Double_Mersenne_number dbr:Duffin–Schaeffer_conjecture dbr:E._T._Parker dbr:Index_of_philosophy_articles_(A–C) dbr:Index_of_philosophy_of_science_articles dbr:Internationalization dbr:Jacobson_radical dbr:Lindelöf_hypothesis dbr:List_of_philosophical_concepts dbr:Proth_prime dbr:Topological_combinatorics dbr:Conjectures dbr:Consequent dbr:Constantine_Lips dbr:Cosmic_censorship_hypothesis dbr:Mathematics dbr:Medes dbr:Melania_Trump dbr:Elliott–Halberstam_conjecture dbr:Estimation dbr:Generalized_Riemann_hypothesis dbr:One-way_function dbr:Ramanujan's_ternary_quadratic_form dbr:Quotient_group dbr:Waring's_prime_number_conjecture dbr:Christian_contemplation dbr:Cold_fusion dbr:Fundamental_groupoid dbr:G._H._Hardy dbr:Global_cooling dbr:Glossary_of_arithmetic_and_diophantine_geometry dbr:Glossary_of_engineering:_M–Z dbr:Minkowski's_theorem dbr:Multimagic_square dbr:Conditional_proof dbr:Continuum_hypothesis dbr:Theorem dbr:Theory dbr:Thomas_Royen dbr:Erdős_conjecture_on_arithmetic_progressions dbr:Erdős–Turán_conjecture_on_additive_bases dbr:Optimal_solutions_for_Rubik's_Cube dbr:Annus_mirabilis_papers dbr:Arithmetic_derivative dbr:Berman–Hartmanis_conjecture dbr:Bernstein's_constant dbr:Logarithm dbr:Lonely_runner_conjecture dbr:Chinese_hypothesis dbr:Sierpiński_number dbr:Six_nines_in_pi dbr:Standard_conjectures_on_algebraic_cycles dbr:Straightedge_and_compass_construction dbr:Closing_the_Gap:_The_Quest_to_Understand_Prime_Numbers dbr:Colossally_abundant_number dbr:Computational_mathematics dbr:Feit–Thompson_conjecture dbr:Francis_Wilford dbr:Friendly_number dbr:Fröberg_conjecture dbr:Full_reptend_prime dbr:Hadwiger_conjecture_(combinatorial_geometry) dbr:Harmonic_divisor_number dbr:If_a_tree_falls_in_a_forest dbr:Kostka_polynomial dbr:Perfect_group dbr:Primes_in_arithmetic_progression dbr:Tychonoff_plank dbr:Spectrum_of_a_theory dbr:Supersingular_prime_(moonshine_theory) dbr:Markov_number dbr:Markus–Yamabe_conjecture dbr:Mathematics_education_in_New_York dbr:McKay_conjecture dbr:Mean_value_problem dbr:196_(number) dbr:BKL_singularity dbr:BPP_(complexity) dbr:86_(number) dbr:Brumer–Stark_conjecture dbr:Busy_beaver dbr:C._T._C._Wall dbr:Addition_chain dbr:W._R._(Red)_Alford dbr:Wieferich_prime dbr:Wilson_prime dbr:Hauptvermutung dbr:Heawood_conjecture dbr:IsaPlanner dbr:Lake_Monoleus dbr:Landau's_problems dbr:Langlands_program dbr:Last_geometric_statement_of_Jacobi dbr:Linnik's_theorem dbr:List_of_American_Dad!_characters dbr:Permutable_prime dbr:Tate_conjecture dbr:5 dbr:ACL2 dbr:Abc_conjecture dbr:Abstraction dbr:Alessandro_Farnese_(cardinal) dbr:Allan_Gibbard dbr:Erdős–Ko–Rado_theorem dbr:Eugenio_Elia_Levi dbr:Euler's_sum_of_powers_conjecture dbr:Evolution_as_fact_and_theory dbr:Fermat's_Last_Theorem dbr:Fermat_number dbr:Fertility dbr:Formula_for_primes dbr:Brent_Spar dbr:Brocard's_conjecture dbr:Nth_root dbr:Packing_problems dbr:Carathéodory_conjecture dbr:Cellular_automaton dbr:Diffeomorphism dbr:Differential_poset dbr:Four_exponentials_conjecture dbr:Goldbach's_weak_conjecture dbr:Goormaghtigh_conjecture dbr:Graffiti_(program) dbr:Graph_factorization dbr:Journal_of_Recreational_Mathematics dbr:Kahn–Kalai_conjecture dbr:Kalai's_3^d_conjecture dbr:Kalman's_conjecture dbr:Kaplansky's_conjectures dbr:Legendre's_conjecture dbr:List_of_Greek_and_Latin_roots_in_English/J dbr:List_of_Johnson_solids dbr:List_of_Romanian_inventors_and_discoverers dbr:Rami_Grossberg dbr:Mathematical_proof dbr:Pythagorean_theorem dbr:Pólya_conjecture dbr:Ragsdale_conjecture dbr:Regular_prime dbr:Riesel_number dbr:György_Hajós dbr:Happy_ending_problem dbr:Heilbronn_triangle_problem dbr:Hilbert's_problems dbr:Hiraku_Nakajima dbr:Atiyah_conjecture dbr:Atiyah_conjecture_on_configurations dbr:Atiyah–Jones_conjecture dbr:James_Maynard_(mathematician) dbr:Counterexample dbr:Cramér's_conjecture dbr:Crank_conjecture dbr:Tetration dbr:Hypothesis dbr:Ono's_inequality dbr:What_Engineers_Know_and_How_They_Know_It dbr:Aanderaa–Karp–Rosenberg_conjecture dbr:Abhyankar's_conjecture dbr:Abstraction_(mathematics) dbr:Kazimierz_Zarankiewicz dbr:Bimonster_group dbr:Birch–Tate_conjecture dbr:Suslin's_problem dbr:Coclass dbr:Effective_results_in_number_theory dbr:Homological_mirror_symmetry dbr:Scientific_theory dbr:Thesis_(disambiguation) dbr:Weird_number dbr:Zoara dbr:Dimitrie_Pompeiu dbr:Diophantine_equation dbr:Dissection_into_orthoschemes dbr:Artin's_conjecture_on_primitive_roots dbr:Aspect's_experiment dbr:Borsuk's_conjecture dbr:CA-duality dbr:CAP_theorem dbr:Pierpont_prime dbr:Citizen_journalism dbr:Fibonacci_group dbr:Fibonacci_prime dbr:Free_parameter dbr:Greedy_embedding dbr:Gudkov's_conjecture dbr:Guessing dbr:Guesstimate dbr:Hsiang–Lawson's_conjecture dbr:Imre_Lakatos dbr:Natural_science dbr:Newman's_conjecture dbr:Cantor_set dbr:Raj_Chandra_Bose dbr:Reinhold_Hoppe dbr:Seventeen_or_Bust dbr:Siemion_Fajtlowicz dbr:Singmaster's_conjecture dbr:Weak_gravity_conjecture dbr:Experimental_mathematics dbr:Exponential_time_hypothesis dbr:Extremal_orders_of_an_arithmetic_function dbr:Disproved_conjecture dbr:List_of_volunteer_computing_projects dbr:Lucky_number dbr:Lychrel_number dbr:Toothpick_sequence dbr:Swampland_(physics) dbr:Rudolf_Hercher dbr:Everett_C._Dade dbr:Evolution_and_the_Catholic_Church dbr:Excellent_ring dbr:Fleischner's_theorem dbr:Ghana_Journalists_Association dbr:Gilbert–Pollack_conjecture dbr:Gilbreath's_conjecture dbr:Gillies'_conjecture dbr:N!_conjecture dbr:Wall–Sun–Sun_prime dbr:Rota's_conjecture dbr:Witsenhausen's_counterexample dbr:Picard_theorem dbr:Sumner's_conjecture dbr:Pollock's_conjectures dbr:Sidorenko's_conjecture dbr:Rota's_basis_conjecture dbr:Superfunction dbr:Safe_and_Sophie_Germain_primes dbr:Surface_of_constant_width dbr:Primary_pseudoperfect_number dbr:Stark_conjectures dbr:Working_hypothesis dbr:Superintelligence:_Paths,_Dangers,_Strategies dbr:Sociable_number dbr:Superstring_theory dbr:Vaught_conjecture dbr:Undecidable_conjectures dbr:Road_coloring_theorem dbr:Smallest-circle_problem dbr:The_Last_Theorem dbr:Mathematical_conjecture dbr:Conjectural dbr:Conjecture_(mathematics) dbr:Conjectured |
| is dbp:type of | dbr:Newman's_conjecture |
| is gold:hypernym of | dbr:Scholz_conjecture dbr:Witten_conjecture dbr:Riemann_hypothesis dbr:Dade's_conjecture dbr:Dyson_conjecture dbr:Linder_hypothesis dbr:Schanuel's_conjecture dbr:Quillen–Lichtenbaum_conjecture dbr:Waring's_prime_number_conjecture dbr:Collatz_conjecture dbr:Global_cooling dbr:Schoen–Yau_conjecture dbr:Berman–Hartmanis_conjecture dbr:Lonely_runner_conjecture dbr:Demazure_conjecture dbr:Fröberg_conjecture dbr:Painlevé_conjecture dbr:Brumer–Stark_conjecture dbr:Dixmier_conjecture dbr:Karoubi_conjecture dbr:Lange's_conjecture dbr:Tate_conjecture dbr:Abc_conjecture dbr:ER=EPR dbr:Faltings's_theorem dbr:Carathéodory_conjecture dbr:Chronology_protection_conjecture dbr:Dickson's_conjecture dbr:Four_exponentials_conjecture dbr:Goncharov_conjecture dbr:Gray's_conjecture dbr:Harberger-Laursen-Metzler_effect dbr:Kalman's_conjecture dbr:Ragsdale_conjecture dbr:Atiyah_conjecture_on_configurations dbr:Atiyah–Jones_conjecture dbr:Crank_conjecture dbr:Takeuti's_conjecture dbr:Abhyankar's_conjecture dbr:Keller's_conjecture dbr:Kepler_conjecture dbr:Birch–Tate_conjecture dbr:Homological_mirror_symmetry dbr:Gudkov's_conjecture dbr:Unique_games_conjecture dbr:Vojta's_conjecture dbr:Pompeiu_problem dbr:Gilbreath's_conjecture dbr:Gillies'_conjecture dbr:N_conjecture dbr:Nakayama's_conjecture dbr:Ward's_conjecture dbr:Rota's_basis_conjecture dbr:Ulam's_packing_conjecture dbr:Vaught_conjecture |
| is foaf:primaryTopic of | wikipedia-en:Conjecture |
