<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>http://tcwiki.azurewebsites.net/index.php?action=history&amp;feed=atom&amp;title=Undecidability</id>
		<title>Undecidability - Revision history</title>
		<link rel="self" type="application/atom+xml" href="http://tcwiki.azurewebsites.net/index.php?action=history&amp;feed=atom&amp;title=Undecidability"/>
		<link rel="alternate" type="text/html" href="http://tcwiki.azurewebsites.net/index.php?title=Undecidability&amp;action=history"/>
		<updated>2026-08-16T03:16:07Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.27.4</generator>

	<entry>
		<id>http://tcwiki.azurewebsites.net/index.php?title=Undecidability&amp;diff=21022&amp;oldid=prev</id>
		<title>Tom at 05:16, 5 June 2024</title>
		<link rel="alternate" type="text/html" href="http://tcwiki.azurewebsites.net/index.php?title=Undecidability&amp;diff=21022&amp;oldid=prev"/>
				<updated>2024-06-05T05:16:15Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='en'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 05:16, 5 June 2024&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l3&quot; &gt;Line 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 3:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Context==&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==Context==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Humans aren't nearly so smart or inventive as they think they are. They typically over-estimate that change that can be effected in the short term, and underestimate the change that can be effected for the long term.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Humans aren't nearly so smart or inventive as they think they are. They typically over-estimate that change that can be effected in the short term, and underestimate the change that can be effected for the long term.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* It is now well known that no system of logic as complex as arithmetic can be complete. There are things that are true that cannot be determined in advance.&amp;lt;ref&amp;gt;Kurt Godel,&amp;#160; ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems''. Dover (1992 reprint of the 1962 Basic Books edition from the original 1930 article) &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;ASIN B002G7WH8S.&lt;/del&gt;&amp;lt;/ref&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* It is now well known that no system of logic as complex as arithmetic can be complete. There are things that are true that cannot be determined in advance.&amp;lt;ref&amp;gt;Kurt Godel,&amp;#160; ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems''. Dover (1992 reprint of the 1962 Basic Books edition from the original 1930 article) &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;ISBN 9780486669809&lt;/ins&gt;&amp;lt;/ref&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Project managers often require a detailed design before they will start the project. This is understandable, and a good strategy, but the tactics of implementing the strategy cannot be so rigid or the result will be unsatisfactory, even to the designer.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Project managers often require a detailed design before they will start the project. This is understandable, and a good strategy, but the tactics of implementing the strategy cannot be so rigid or the result will be unsatisfactory, even to the designer.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==References==&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;==References==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[Category: Philosophy]]&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[Category: Philosophy]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Tom</name></author>	</entry>

	<entry>
		<id>http://tcwiki.azurewebsites.net/index.php?title=Undecidability&amp;diff=21021&amp;oldid=prev</id>
		<title>Tom: Created page with &quot;==Full Title or Meme==  ==Context== * Humans aren't nearly so smart or inventive as they think they are. They typically over-estimate that change that can be effected in the s...&quot;</title>
		<link rel="alternate" type="text/html" href="http://tcwiki.azurewebsites.net/index.php?title=Undecidability&amp;diff=21021&amp;oldid=prev"/>
				<updated>2024-06-05T05:02:38Z</updated>
		
		<summary type="html">&lt;p&gt;Created page with &amp;quot;==Full Title or Meme==  ==Context== * Humans aren&amp;#039;t nearly so smart or inventive as they think they are. They typically over-estimate that change that can be effected in the s...&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;==Full Title or Meme==&lt;br /&gt;
&lt;br /&gt;
==Context==&lt;br /&gt;
* Humans aren't nearly so smart or inventive as they think they are. They typically over-estimate that change that can be effected in the short term, and underestimate the change that can be effected for the long term.&lt;br /&gt;
* It is now well known that no system of logic as complex as arithmetic can be complete. There are things that are true that cannot be determined in advance.&amp;lt;ref&amp;gt;Kurt Godel,  ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems''. Dover (1992 reprint of the 1962 Basic Books edition from the original 1930 article) ASIN B002G7WH8S.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* Project managers often require a detailed design before they will start the project. This is understandable, and a good strategy, but the tactics of implementing the strategy cannot be so rigid or the result will be unsatisfactory, even to the designer.&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
[[Category: Philosophy]]&lt;/div&gt;</summary>
		<author><name>Tom</name></author>	</entry>

	</feed>