Výpočetní neredukovatelnost - Computational irreducibility

Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) tento článek příliš spoléhá na Reference na primární zdroje. Vylepšete to přidáním sekundární nebo terciární zdroje. (Duben 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) tento článek případně obsahuje původní výzkum. Prosím vylepši to podle ověřování vznesené nároky a přidání vložené citace. Výroky sestávající pouze z původního výzkumu by měly být odstraněny. (Duben 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Výpočetní neredukovatelnost“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Květen 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Výpočetní neredukovatelnost je jednou z hlavních myšlenek navržených Stephen Wolfram ve své knize Nový druh vědy.

Idea

Wolfram označuje neschopnost zkratky programu (např Systém ), nebo jinak popsat jeho chování jednoduchým způsobem, „výpočetní neredukovatelnost“. The empirický skutečnost je to, že svět jednoduchých programů obsahuje velkou rozmanitost chování, ale kvůli nerozhodnutelnost, to je nemožné předpovědět co udělají, než je v podstatě spustí. Tato myšlenka ukazuje, že existují případy, kdy teoretické předpovědi nejsou skutečně možné. Wolfram uvádí několik jevy jsou obvykle výpočetně nesnížitelné.

Výpočtová neredukovatelnost vysvětluje pozorovaná omezení stávající vědy hlavního proudu. V případech výpočetní neredukovatelnosti lze použít pouze pozorování a experiment. Výpočetní ireducibilita může také poskytnout vědecky podložené řešení svobodná vůle.

Dopady

• Neexistuje snadná teorie pro chování, které by se zdálo komplex.
• Funkce komplexního chování lze zachytit pomocí modelů, které mají jednoduché základní struktury.
• Chování celkového systému založené na jednoduchých strukturách může stále vykazovat chování nepopsatelné rozumně „jednoduchými“ zákony.

Analýza

Izraelci a Goldenfeld zjistili, že některé méně složité systémy se chovají jednoduše a předvídatelně (tedy umožňují) aproximace ). Složitější systémy však byly stále výpočetně neredukovatelné a nepředvídatelné. Není známo, jaké podmínky by umožnily popsat složité jevy jednoduše a předvídatelně.

Viz také

• Teorie chaosu
• Gödelova věta
• Výpočet
• Princip výpočetní ekvivalence
• Umělá inteligence
• Robert Rosen
• Naléhavé chování

Externí odkazy a reference

• Weisstein, Eric W. a kol., “Výpočetní neredukovatelnost ". MathWorld - webový zdroj Wolfram.
• Wolfram, Stephen, “Nový druh vědy ". Wolfram Media, Inc., 14. května 2002. ISBN  1-57955-008-8
  • Wolfram, Stephen, “Výpočetní neredukovatelnost Nový druh vědy.
  • Wolfram, Stephen, “Historie výpočetní neredukovatelnosti ". Nový druh vědy.
  • Wolfram, Stephen, “Historie poznámek o výpočetní neredukovatelnosti ". Nový druh vědy.
  • Wolfram, Stephen, “Nerozhodnutelnost a neřešitelnost v teoretické fyzice ". Dopisy o fyzické kontrole, 1985.
• Izraelci, Navot a Nigel Goldenfeld, "O výpočetní neredukovatelnosti a předvídatelnosti složitých fyzických systémů ". Dopisy o fyzické kontrole, 2004.
• "„Výpočetní neredukovatelnost“. Výzkum a vývoj ISAAC / EINSTein. Archivovány od originál dne 11.12.2011.
• Berger, David, “Stephen Wolfram, Nový druh vědy ". Serendipovy regály."
• "Složitost je nepolapitelná ". Physical Review Letters, 4. března 2004.
• Tomasson, Gunnar, “Vědecká teorie a výpočetní neredukovatelnost ". Nový druh vědy: Fórum NKS.