<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Scienceworld &#187; Gödel</title>
	<atom:link href="https://www.scienceworld.cz/tag/godel/feed/" rel="self" type="application/rss+xml" />
	<link>https://www.scienceworld.cz</link>
	<description>Web pro popularizaci přírodních věd a technologií</description>
	<lastBuildDate>Mon, 29 Feb 2016 07:21:11 +0000</lastBuildDate>
	<language>cs-CZ</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>https://wordpress.org/?v=4.2.39</generator>
	<item>
		<title>Námět k úvaze: Programy, které se tisknou samy</title>
		<link>https://www.scienceworld.cz/neziva-priroda/namet-k-uvaze-programy-ktere-se-tisknou-samy-1613/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/namet-k-uvaze-programy-ktere-se-tisknou-samy-1613/#comments</comments>
		<pubDate>Fri, 10 May 2013 07:00:00 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Goedel]]></category>
		<category><![CDATA[paradox]]></category>
		<category><![CDATA[paradoxy]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/technologie/namet-k-uvaze-programy-ktere-se-tisknou-samy-1613/</guid>
		<description><![CDATA[V logice je autoreference jedním ze zdrojů paradoxů. Od problému lháře k problému zastavení, kde necháte algoritmus, aby se zadávil právě sám sebou, se tímto způsobem obvykle dokazuje, že "něco nejde". A co programy, které samy sebe tisknou?]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/namet-k-uvaze-programy-ktere-se-tisknou-samy-1613/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Knihy roku 2012: Hofstadter, Greene&#8230;</title>
		<link>https://www.scienceworld.cz/neziva-priroda/knihy-roku-2012-hofstadter-greene-7101/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/knihy-roku-2012-hofstadter-greene-7101/#comments</comments>
		<pubDate>Thu, 29 Nov 2012 07:37:39 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Člověk]]></category>
		<category><![CDATA[Fyzika]]></category>
		<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[Ostatní]]></category>
		<category><![CDATA[Bach]]></category>
		<category><![CDATA[elegantní vesmír]]></category>
		<category><![CDATA[Escher]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[greene]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/knihy-roku-2012-hofstadter-greene-7101/</guid>
		<description><![CDATA[Tak jako v předchozích letech, i nyní snad bude užitečný drobný pokus o "top tituly", mj. sloužící jako tip na vánoční dárky. Co nejzajímavějšího z oblasti (pop)science v češtině vyšlo? 

]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/knihy-roku-2012-hofstadter-greene-7101/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Nerozhodnutelnost, důkazy a kontinuum</title>
		<link>https://www.scienceworld.cz/neziva-priroda/nerozhodnutelnost-dukazy-a-kontinuum-7010/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/nerozhodnutelnost-dukazy-a-kontinuum-7010/#comments</comments>
		<pubDate>Wed, 05 Sep 2012 07:06:03 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[cantor]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Goedel]]></category>
		<category><![CDATA[kontinuum]]></category>
		<category><![CDATA[množiny]]></category>
		<category><![CDATA[mohutnost]]></category>
		<category><![CDATA[nerozhodnutelnost]]></category>
		<category><![CDATA[spočetnost]]></category>
		<category><![CDATA[turingův stroj]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/nerozhodnutelnost-dukazy-a-kontinuum-7010/</guid>
		<description><![CDATA[Nakolik lze Goedelův důkaz nerozhodnutelnosti nějakého tvrzení použít „pozitivně" - tj. jako jeho důkaz? A co s tím má společného hypotéza kontinua, množiny, přirozená a reálná čísla?

]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/nerozhodnutelnost-dukazy-a-kontinuum-7010/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Na vědomí (člověka ani počítače) nelze ukázat</title>
		<link>https://www.scienceworld.cz/clovek/na-vedomi-cloveka-ani-pocitace-nelze-ukazat-7002/</link>
		<comments>https://www.scienceworld.cz/clovek/na-vedomi-cloveka-ani-pocitace-nelze-ukazat-7002/#comments</comments>
		<pubDate>Mon, 03 Sep 2012 07:38:02 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Člověk]]></category>
		<category><![CDATA[Psychologie]]></category>
		<category><![CDATA[Technologie]]></category>
		<category><![CDATA[Bach]]></category>
		<category><![CDATA[Escher]]></category>
		<category><![CDATA[Gödel]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/clovek/na-vedomi-cloveka-ani-pocitace-nelze-ukazat-7002/</guid>
		<description><![CDATA[Umělou inteligenci dokážeme možná nějak seskládávat, ale celý proces je tak složitý a empirický, že se v něm pak nejspíš sami nevyznáme. ]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/clovek/na-vedomi-cloveka-ani-pocitace-nelze-ukazat-7002/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Gödelův důkaz nedokazuje rozdíl mezi člověkem a strojem</title>
		<link>https://www.scienceworld.cz/neziva-priroda/godeluv-dukaz-nedokazuje-rozdil-mezi-clovekem-a-strojem-6864/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/godeluv-dukaz-nedokazuje-rozdil-mezi-clovekem-a-strojem-6864/#comments</comments>
		<pubDate>Thu, 14 Jun 2012 07:27:02 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Člověk]]></category>
		<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[Psychologie]]></category>
		<category><![CDATA[člověk]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Goedel]]></category>
		<category><![CDATA[stroj]]></category>
		<category><![CDATA[vědomí]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/godeluv-dukaz-nedokazuje-rozdil-mezi-clovekem-a-strojem-6864/</guid>
		<description><![CDATA[Možnost trucovitě opakovat Gödelův argument posloužila mnoha lidem jako zbraň při prosazování názoru, že lidské myšlení zahrnuje určité prchavé a těžko pochopitelné prvky, které počítače nedokážou napodobit.]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/godeluv-dukaz-nedokazuje-rozdil-mezi-clovekem-a-strojem-6864/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Výpočty silnější než Turingův stroj</title>
		<link>https://www.scienceworld.cz/neziva-priroda/vypocty-silnejsi-nez-turinguv-stroj-6477/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/vypocty-silnejsi-nez-turinguv-stroj-6477/#comments</comments>
		<pubDate>Tue, 23 Aug 2011 07:05:08 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Fyzika]]></category>
		<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[černá díra]]></category>
		<category><![CDATA[egan]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[goldbachova]]></category>
		<category><![CDATA[greg]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/vypocty-silnejsi-nez-turinguv-stroj-6477/</guid>
		<description><![CDATA[Relativistická fyzika podle všeho připouští konstrukci zvláštního uspořádání, při němž počítač necháme počítat nekonečně dlouhou dobu a sami se přitom uchýlíme do systému, v němž zatím uplyne pouze konečný čas. ]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/vypocty-silnejsi-nez-turinguv-stroj-6477/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Souboj matematik a jak na tom vydělat</title>
		<link>https://www.scienceworld.cz/neziva-priroda/souboj-matematik-a-jak-na-tom-vydelat-6476/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/souboj-matematik-a-jak-na-tom-vydelat-6476/#comments</comments>
		<pubDate>Mon, 22 Aug 2011 07:21:10 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[egan]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[greg]]></category>
		<category><![CDATA[konzistence]]></category>
		<category><![CDATA[logika]]></category>
		<category><![CDATA[neúplnost]]></category>
		<category><![CDATA[parakonzistentní]]></category>
		<category><![CDATA[spor]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/souboj-matematik-a-jak-na-tom-vydelat-6476/</guid>
		<description><![CDATA[Velká většina matematiků je přesvědčena, že naše aritmetika je neúplná, nemohla by být ale nekonzistentní? A pokud ano, jak to, že si toho nikdo nevšiml? ]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/souboj-matematik-a-jak-na-tom-vydelat-6476/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Krátký důkaz Goedelovy věty pro programátory</title>
		<link>https://www.scienceworld.cz/neziva-priroda/kratky-dukaz-goedelovy-vety-pro-programatory-6196/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/kratky-dukaz-goedelovy-vety-pro-programatory-6196/#comments</comments>
		<pubDate>Tue, 15 Feb 2011 07:54:08 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Matematika]]></category>
		<category><![CDATA[Neživá příroda]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Goedel]]></category>
		<category><![CDATA[neúplnost]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/kratky-dukaz-goedelovy-vety-pro-programatory-6196/</guid>
		<description><![CDATA[Od doby, kdy americký logik rakouského původu a brněnský rodák Kurt Goedel učinil šokující objev v logice a základech matematiky, uplynulo již osm desetiletí.]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/kratky-dukaz-goedelovy-vety-pro-programatory-6196/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Obhajoba matematického formalismu</title>
		<link>https://www.scienceworld.cz/neziva-priroda/matematika/obhajoba-matematickeho-formalismu-4682/</link>
		<comments>https://www.scienceworld.cz/neziva-priroda/matematika/obhajoba-matematickeho-formalismu-4682/#comments</comments>
		<pubDate>Sat, 07 Feb 2009 17:34:30 +0000</pubDate>
		<dc:creator><![CDATA[admin]]></dc:creator>
				<category><![CDATA[Matematika]]></category>
		<category><![CDATA[filozofie matematiky]]></category>
		<category><![CDATA[formalismus]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[turingův stroj]]></category>

		<guid isPermaLink="false">http://scienceworld.monty.cz/neziva-priroda/matematika/obhajoba-matematickeho-formalismu-4682/</guid>
		<description><![CDATA[Formalismus se nezabývá otázkami harmonie mezi myslí, fyzikálním světem a symbolickými vztahy matematiky. Z toho plyne, že formalismus nelze považovat za filozofii matematiky, naopak lze mít za to, že formalismus pro filozofii matematiky připravil půdu...]]></description>
		<wfw:commentRss>https://www.scienceworld.cz/neziva-priroda/matematika/obhajoba-matematickeho-formalismu-4682/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
