| http://dbpedia.org/ontology/abstract
|
Le terme hypercalcul désigne les différent … Le terme hypercalcul désigne les différentes méthodes proposées pour le calcul de fonctions non-Turing-calculables. Il a été initialement introduit par Jack Copeland. On emploie également le terme de calcul super-Turing, bien que celui d'hypercalcul puisse être connoté de la séduisante possibilité qu'une telle machine soit physiquement réalisable. Certains modèles ont été proposés, comme des réseaux de neurones avec des nombres réels en guise de poids, la capacité de conduire une infinité de calculs simultanément ou encore l'aptitude à effectuer des opérations non Turing-calculables, telles que des limites ou des intégrations.elles que des limites ou des intégrations.
, Гіперобчисленнями або надтюринговими обчис … Гіперобчисленнями або надтюринговими обчисленнями, (англ. hypercomputation) називають такі обчислення, які не можуть бути виконані на машині Тюрінга. Вони включають в себе різноманітні гіпотетичні методи, засновані на , а також деякі інші типи обчислень — наприклад, інтерактивні обчислення. Термін гіперобчислення був вперше введений та Діаною Праудфут. Терміни не можна назвати синонімами: «надтюрингове обчислення» на відміну від «гіперобчислення», як правило, означає, що запропонована модель повинна бути фізично реалізованою. Можливість фізичної реалізації таких обчислень активно обговорюється.ції таких обчислень активно обговорюється.
, ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算でき … ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hypercomputation という。Jack Copeland が生み出した造語である。類似の用語として「超チューリング計算（super-Turing computation）」があるが、ハイパーコンピュータと言った場合には、そのようなコンピュータが物理的に構築可能かもしれないという意味も若干含まれていることがある。実数で重み付けするニューラルネットワーク、無限に多数の計算を同時並行して実施可能なモデル、チューリング機械で計算できないものを計算可能なモデル、などのいくつかのモデルが提案されており、一般に実数値の連続関数の極限や積分を（近似ではなく）全く誤差なく計算できるとされる。一般に実数値の連続関数の極限や積分を（近似ではなく）全く誤差なく計算できるとされる。
, 超计算或超图灵计算可以输出非图灵可计算结果的计算模型。例如，一台可以解决停机问题的机器可算作一台超计算机；可以正确推演皮亚诺算术中每一个状态的机器亦然。 邱奇－图灵论题指出，任何可以用有限算法以纸笔计算的"可有效计算"函数都能被图灵机计算。超计算机能计算图灵机无法计算、即邱奇－图灵论题中不可计算的的函数。 严格说来概率图灵机的输出是不可计算的。然而，大多数超计算方向的文献更关注有用的计算而非随机、不可计算的函数。
, Hiperkomputer – hipotetyczny komputer potr … Hiperkomputer – hipotetyczny komputer potrafiący wykonywać algorytmy, których nie jest w stanie wykonać maszyna Turinga. Potrafi on wykonywać hiperobliczenia, w odróżnieniu od „zwykłych” obliczeń, które wykonują maszyny Turinga. Problem teoretycznej możliwości istnienia hiperkomputerów jest współcześnie szeroko dyskutowany w teorii obliczeń i nie ma jasności, czy pozwalają na to chociażby prawa fizyki rządzące naszym światem. Wszystkie dotychczasowe koncepcje zbudowania takich maszyn wydają się, poza pewnymi niejasnościami teoretycznymi, wymagać technologii będących poza zasięgiem ludzi. Według niektórych filozofów hiperobliczenia przeprowadza mózg, według innych – życie na wszystkich poziomach złożoności i ewolucja są ich przykładem. Niewykluczone, że zaawansowany komputer kwantowy byłby hiperkomputerem. Istnieje również pogląd, że w odpowiednich warunkach maszyny Turinga mogą zachowywać się jak hiperkomputery. Próbuje się też dowodzić, że w czasoprzestrzeni o innych właściwościach niż ta istniejąca hiperobliczenia byłyby dużo łatwiejsze. Rozpatrywane są również klasy złożoności, w których każdy problem decyzyjny (wliczając w to problemy nierozstrzygalne) jest rozstrzygalny.lemy nierozstrzygalne) jest rozstrzygalny.
, Hipercomputação ou computação super-Turing … Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing. Isso inclui vários métodos hipotéticos para a Computação de Funções não-Turing computáveis, seguido por Algoritmo super-recursivas . O termo "computação super-Turing" surgiu em 1995 numa revista científica por Hava Siegelmann. O termo hipercomputação surgiu em 1999 por Jack Copeland and Diane Proudfoot.Esses termos não são exatamente sinônimos: computação super-Turing geralmente implica que o modelo proposto é supostamente fisicamente realizável, enquanto hipercomputação sofre com argumentos técnicos contra a sua realizabilidade física.nicos contra a sua realizabilidade física.
, 하이퍼 계산(Hypercomputation)은 일방향의 논리 기호에 따른 3차원적(자연 물리학적의 의미) 해석의 수학적 원리가 적용되는 범위를 넘어서 중첩현상의 4차원적 현상의 해석을 계산하는 고차원적 계산방식이다. 자연 물리학의 3차원적 수학방식으로 해결 불가능한 괴델의 불완전성 원리를 해결하는 데 목적을 둘 수 있다.
, Сверхтьюринговыми вычислениями (или гиперв … Сверхтьюринговыми вычислениями (или гипервычислениями (англ. hypercomputation)) называются такие вычисления, которые не могут быть проделаны на машине Тьюринга. Они включают в себя разнообразные гипотетические методы, основанные на , а также некоторые другие типы вычислений — например, . Термин гипервычисления (англ. hypercomputation) был впервые введён и . Возможность физической реализации таких вычислений активно обсуждается.ации таких вычислений активно обсуждается.
, Un hipercomputador computa funciones que son incomputables por una máquina deTuring. Esta computa funciones o números, resuelve problemas o realiza tareas que no pueden ser computados o resueltas por una máquina de Turing (MT).
, Hypercomputation or super-Turing computati … Hypercomputation or super-Turing computation refers to models of computation that can provide outputs that are not Turing-computable. Super-Turing computing, introduced at the early 1990's by Hava Siegelmann, refers to such neurological inspired, biological and physical realizable computing; It became the mathematical foundations of Lifelong Machine Learning. Hypercomputation, introduced as a field of science in the late 1990s, is said to be based on the Super Turing but it also includes constructs which are philosophical. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that can correctly evaluate every statement in Peano arithmetic. The Church–Turing thesis states that any "computable" function that can be computed by a mathematician with a pen and paper using a finite set of simple algorithms, can be computed by a Turing machine. Hypercomputers compute functions that a Turing machine cannot and which are, hence, not computable in the Church–Turing sense. Technically, the output of a random Turing machine is uncomputable; however, most hypercomputing literature focuses instead on the computation of deterministic, rather than random, uncomputable functions.ather than random, uncomputable functions.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://wayback.archive-it.org/all/20080221162316/http:/people.cs.uchicago.edu/~simon/TEACH/28000/DavisUniversal.pdf +
, https://books.google.com/books%3Fid=5gVOf_OQa04C +
, http://www.amsta.leeds.ac.uk/~pmt6sbc/preprints/co.pdf +
, http://www.amsta.leeds.ac.uk/~pmt6sbc/preprints/hyp.comp.eff.pdf%7Cdoi +
, http://www.ejtp.com/articles/ejtpv13i36p169.pdf +
, https://arxiv.org/abs/math/0209332 +
, http://research.cs.queensu.ca/home/akl/cisc879/papers/PAPERS_FROM_MINDS_AND_MACHINES/VOLUME_12_NO_4/NV6361035557Q678.pdf +
, https://arxiv.org/abs/1003.1238 +
, http://research.cs.queensu.ca/home/akl/cisc879/papers/PAPERS_FROM_APPLIED_MATHEMATICS_AND_COMPUTATION/Special_Issue_on_Hypercomputation/stannett%5b1%5d.pdf +
, http://www.hypercomputation.net/ +
, https://web.archive.org/web/20110724015832/http:/www.amsta.leeds.ac.uk/~pmt6sbc/preprints/hyp.comp.eff.pdf%7Carchive-date +
, https://web.archive.org/web/20160314161451/http:/research.cs.queensu.ca/home/akl/cisc879/papers/PAPERS_FROM_MINDS_AND_MACHINES/VOLUME_12_NO_4/NV6361035557Q678.pdf +
, http://www.philosopher-animal.com/papers/take6c.PDF +
, https://doi.org/10.1016/j.ins.2022.05.020 +
, https://www.springer.com/computer/foundations/book/978-0-387-30886-9 +
, http://philpapers.org/rec/MLLOTP%7Cjournal=Minds +
, http://plato.stanford.edu/entries/computation-physicalsystems/ +
, http://philsci-archive.pitt.edu/archive/00003180/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
175613
|
| http://dbpedia.org/ontology/wikiPageLength
|
31819
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1096446127
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Physical_constant +
, http://dbpedia.org/resource/Inductive_inference +
, http://dbpedia.org/resource/J%C3%BCrgen_Schmidhuber +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Random_Turing_machine +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Polynomial_time +
, http://dbpedia.org/resource/Finitism +
, http://dbpedia.org/resource/Geometric_series +
, http://dbpedia.org/resource/PSPACE-complete +
, http://dbpedia.org/resource/1/2_%2B_1/4_%2B_1/8_%2B_1/16_%2B_%E2%8B%AF +
, http://dbpedia.org/resource/Recursively_enumerable +
, http://dbpedia.org/resource/Real_computer +
, http://dbpedia.org/resource/Digital_physics +
, http://dbpedia.org/resource/Analog_computer +
, http://dbpedia.org/resource/Unbounded_nondeterminism +
, http://dbpedia.org/resource/Oracle_machine +
, http://dbpedia.org/resource/Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Real_number +
, http://dbpedia.org/resource/Zeno_machine +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Advice_%28complexity%29 +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Uncountable +
, http://dbpedia.org/resource/Polynomial_space +
, http://dbpedia.org/resource/Black_hole +
, http://dbpedia.org/resource/Supertask +
, http://dbpedia.org/resource/Quantum_computer +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Qubit +
, http://dbpedia.org/resource/Portable_Document_Format +
, http://dbpedia.org/resource/Chaitin%27s_constant +
, http://dbpedia.org/resource/Computable_number +
, http://dbpedia.org/resource/Fuzzy_logic +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Computation +
, http://dbpedia.org/resource/Fair_nondeterminism +
, http://dbpedia.org/resource/Universal_Turing_machine +
, http://dbpedia.org/resource/Gualtiero_Piccinini +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Turing-computable +
, http://dbpedia.org/resource/Entscheidungsproblem +
, http://dbpedia.org/resource/Arithmetic_hierarchy +
, http://dbpedia.org/resource/Turing_degree +
, http://dbpedia.org/resource/Zeno%27s_paradox +
, http://dbpedia.org/resource/Quantum_mechanics +
, http://dbpedia.org/resource/Truth-table_reduction +
, http://dbpedia.org/resource/Malament%E2%80%93Hogarth_spacetime +
, http://dbpedia.org/resource/Hilary_Putnam +
, http://dbpedia.org/resource/Model_of_computation +
, http://dbpedia.org/resource/Mike_Stannett +
, http://dbpedia.org/resource/Minimum_description_length +
, http://dbpedia.org/resource/PSPACE-reduction +
, http://dbpedia.org/resource/E_Mark_Gold +
, http://dbpedia.org/resource/L._K._Schubert +
, http://dbpedia.org/resource/T-norm_fuzzy_logics +
, http://dbpedia.org/resource/Theory_of_everything +
, http://dbpedia.org/resource/Closed_timelike_curve +
, http://dbpedia.org/resource/Blum%E2%80%93Shub%E2%80%93Smale_machine +
, http://dbpedia.org/resource/Abstract_machine +
, http://dbpedia.org/resource/Real_computation +
, http://dbpedia.org/resource/Computable_real +
, http://dbpedia.org/resource/Hyperarithmetic_hierarchy +
, http://dbpedia.org/resource/Aleph_0 +
, http://dbpedia.org/resource/Systems_of_Logic_Based_on_Ordinals +
, http://dbpedia.org/resource/Specker_sequence +
, http://dbpedia.org/resource/Martin_Davis_%28mathematician%29 +
, http://dbpedia.org/resource/Alan_Turing +
, http://dbpedia.org/resource/Category:Hypercomputation +
|
| http://dbpedia.org/property/date
|
"2016-03-14"^^xsd:date
|
| http://dbpedia.org/property/url
|
https://web.archive.org/web/20160314161451/http:/research.cs.queensu.ca/home/akl/cisc879/papers/PAPERS_FROM_MINDS_AND_MACHINES/VOLUME_12_NO_4/NV6361035557Q678.pdf +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Webarchive +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_journal +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Hypercomputation +
, http://dbpedia.org/resource/Category:Theory_of_computation +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Hypercomputation?oldid=1096446127&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Hypercomputation +
|
| owl:sameAs |
http://pl.dbpedia.org/resource/Hiperkomputer +
, http://lmo.dbpedia.org/resource/Ipercomputazion +
, https://global.dbpedia.org/id/2VXHq +
, http://www.wikidata.org/entity/Q2661997 +
, http://dbpedia.org/resource/Hypercomputation +
, http://ko.dbpedia.org/resource/%ED%95%98%EC%9D%B4%ED%8D%BC_%EA%B3%84%EC%82%B0 +
, http://rdf.freebase.com/ns/m.017rxm +
, http://uk.dbpedia.org/resource/%D0%93%D1%96%D0%BF%D0%B5%D1%80%D0%BE%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D1%8F +
, http://es.dbpedia.org/resource/Hipercomputaci%C3%B3n +
, http://zh.dbpedia.org/resource/%E8%B6%85%E8%AE%A1%E7%AE%97 +
, http://fr.dbpedia.org/resource/Hypercalcul +
, http://sr.dbpedia.org/resource/%D0%A5%D0%B8%D0%BF%D0%B5%D1%80%D1%80%D0%B0%D1%87%D1%83%D0%BD%D0%B0%D1%9A%D0%B5 +
, http://pt.dbpedia.org/resource/Hipercomputa%C3%A7%C3%A3o +
, http://ru.dbpedia.org/resource/%D0%A1%D0%B2%D0%B5%D1%80%D1%85%D1%82%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%BE%D0%B2%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F +
, http://ja.dbpedia.org/resource/%E3%83%8F%E3%82%A4%E3%83%91%E3%83%BC%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF +
, http://d-nb.info/gnd/7626920-6 +
|
| rdfs:comment |
Сверхтьюринговыми вычислениями (или гиперв … Сверхтьюринговыми вычислениями (или гипервычислениями (англ. hypercomputation)) называются такие вычисления, которые не могут быть проделаны на машине Тьюринга. Они включают в себя разнообразные гипотетические методы, основанные на , а также некоторые другие типы вычислений — например, . Термин гипервычисления (англ. hypercomputation) был впервые введён и . Возможность физической реализации таких вычислений активно обсуждается.ации таких вычислений активно обсуждается.
, 하이퍼 계산(Hypercomputation)은 일방향의 논리 기호에 따른 3차원적(자연 물리학적의 의미) 해석의 수학적 원리가 적용되는 범위를 넘어서 중첩현상의 4차원적 현상의 해석을 계산하는 고차원적 계산방식이다. 자연 물리학의 3차원적 수학방식으로 해결 불가능한 괴델의 불완전성 원리를 해결하는 데 목적을 둘 수 있다.
, 超计算或超图灵计算可以输出非图灵可计算结果的计算模型。例如，一台可以解决停机问题的机器可算作一台超计算机；可以正确推演皮亚诺算术中每一个状态的机器亦然。 邱奇－图灵论题指出，任何可以用有限算法以纸笔计算的"可有效计算"函数都能被图灵机计算。超计算机能计算图灵机无法计算、即邱奇－图灵论题中不可计算的的函数。 严格说来概率图灵机的输出是不可计算的。然而，大多数超计算方向的文献更关注有用的计算而非随机、不可计算的函数。
, Hypercomputation or super-Turing computati … Hypercomputation or super-Turing computation refers to models of computation that can provide outputs that are not Turing-computable. Super-Turing computing, introduced at the early 1990's by Hava Siegelmann, refers to such neurological inspired, biological and physical realizable computing; It became the mathematical foundations of Lifelong Machine Learning. Hypercomputation, introduced as a field of science in the late 1990s, is said to be based on the Super Turing but it also includes constructs which are philosophical. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that can correctly evaluate every statement in Peano arithmetic.luate every statement in Peano arithmetic.
, ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算でき … ハイパーコンピュータ（英: Hypercomputer）は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hypercomputation という。Jack Copeland が生み出した造語である。類似の用語として「超チューリング計算（super-Turing computation）」があるが、ハイパーコンピュータと言った場合には、そのようなコンピュータが物理的に構築可能かもしれないという意味も若干含まれていることがある。実数で重み付けするニューラルネットワーク、無限に多数の計算を同時並行して実施可能なモデル、チューリング機械で計算できないものを計算可能なモデル、などのいくつかのモデルが提案されており、一般に実数値の連続関数の極限や積分を（近似ではなく）全く誤差なく計算できるとされる。一般に実数値の連続関数の極限や積分を（近似ではなく）全く誤差なく計算できるとされる。
, Гіперобчисленнями або надтюринговими обчис … Гіперобчисленнями або надтюринговими обчисленнями, (англ. hypercomputation) називають такі обчислення, які не можуть бути виконані на машині Тюрінга. Вони включають в себе різноманітні гіпотетичні методи, засновані на , а також деякі інші типи обчислень — наприклад, інтерактивні обчислення. Термін гіперобчислення був вперше введений та Діаною Праудфут. Терміни не можна назвати синонімами: «надтюрингове обчислення» на відміну від «гіперобчислення», як правило, означає, що запропонована модель повинна бути фізично реалізованою. модель повинна бути фізично реалізованою.
, Hipercomputação ou computação super-Turing … Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing. Isso inclui vários métodos hipotéticos para a Computação de Funções não-Turing computáveis, seguido por Algoritmo super-recursivas . O termo "computação super-Turing" surgiu em 1995 numa revista científica por Hava Siegelmann. O termo hipercomputação surgiu em 1999 por Jack Copeland and Diane Proudfoot.Esses termos não são exatamente sinônimos: computação super-Turing geralmente implica que o modelo proposto é supostamente fisicamente realizável, enquanto hipercomputação sofre com argumentos técnicos contra a sua realizabilidade física.nicos contra a sua realizabilidade física.
, Le terme hypercalcul désigne les différent … Le terme hypercalcul désigne les différentes méthodes proposées pour le calcul de fonctions non-Turing-calculables. Il a été initialement introduit par Jack Copeland. On emploie également le terme de calcul super-Turing, bien que celui d'hypercalcul puisse être connoté de la séduisante possibilité qu'une telle machine soit physiquement réalisable. Certains modèles ont été proposés, comme des réseaux de neurones avec des nombres réels en guise de poids, la capacité de conduire une infinité de calculs simultanément ou encore l'aptitude à effectuer des opérations non Turing-calculables, telles que des limites ou des intégrations.elles que des limites ou des intégrations.
, Hiperkomputer – hipotetyczny komputer potr … Hiperkomputer – hipotetyczny komputer potrafiący wykonywać algorytmy, których nie jest w stanie wykonać maszyna Turinga. Potrafi on wykonywać hiperobliczenia, w odróżnieniu od „zwykłych” obliczeń, które wykonują maszyny Turinga. Rozpatrywane są również klasy złożoności, w których każdy problem decyzyjny (wliczając w to problemy nierozstrzygalne) jest rozstrzygalny.lemy nierozstrzygalne) jest rozstrzygalny.
, Un hipercomputador computa funciones que son incomputables por una máquina deTuring. Esta computa funciones o números, resuelve problemas o realiza tareas que no pueden ser computados o resueltas por una máquina de Turing (MT).
|
| rdfs:label |
Hiperkomputer
, Hypercalcul
, 超计算
, Hipercomputación
, Hipercomputação
, Гіперобчислення
, Сверхтьюринговые вычисления
, ハイパーコンピュータ
, Hypercomputation
, 하이퍼 계산
|
