| 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)
|
| 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)
|
