https://www.conservapedia.com/api.php?action=feedcontributions&feedformat=atom&user=BushBud 2026-09-24T00:56:32Z User contributions MediaWiki 1.35.14 https://www.conservapedia.com/index.php?title=Undecidable&diff=662933 2009-05-14T00:51:56Z

<p>BushBud: Undecidability justifies faith</p> <hr /> <div>A statement in formal [[logic]] is called '''undecidable''' if there is no [[proof]] or [[disproof]] of the statement in formal logic. A common misconception is that undecidable statements have no truth value, but this statement is not true. For example, many set theorists now believe that the [[continuum hypothesis]] (which is known to be undeciable in [[Zermelo-Fraenkel]] set theory) is actually false.<br /> <br /> As a more concrete example, suppose we had a &quot;theory of colored shapes&quot; &lt;math&gt;T&lt;/math&gt; where the objects were colored shapes (red triangles, blue squares, etc), and the possible [[atom]]ic sentences were of the form &quot;shape &lt;math&gt;S&lt;/math&gt; is a square.&quot; Since we do not have the language to state &quot;shape &lt;math&gt;S&lt;/math&gt; is red&quot; then any statement of this form is undecidable in &lt;math&gt;T&lt;/math&gt;, though it could be true or false in some larger theory &lt;math&gt;T'&lt;/math&gt;.<br /> <br /> ==Famous Undecidable Statements==<br /> <br /> * [[Axiom of Choice]]<br /> * [[Banach-Tarski paradox]]<br /> * [[Church-Turing thesis]]<br /> * [[Continuum hypothesis]]<br /> * Existence of large [[cardinal]]s<br /> * [[Halting problem]]<br /> * [[König's lemma]]<br /> * [[Lefschetz principle]]<br /> * [[Liar's paradox]]<br /> * [[Ramsey theory]] involving infinite sets<br /> * [[Russell's paradox]]<br /> * [[Zeno's paradox]]<br /> <br /> [[category:logic]]<br /> <br /> <br /> ==Undecidability and God==<br /> The theory of undecidability shows that the world cannot be guided by [[logic]] and [[rationality]] alone: Godel proved that there exist truths that can never be proven. This demonstrates the validity of [[faith]].</div>

BushBud https://www.conservapedia.com/index.php?title=Computer_science&diff=662932 2009-05-14T00:48:33Z

<p>BushBud: Fixed link</p> <hr /> <div>'''Computer science''' is the study of various aspects of [[computers]]. It is a common source of study and degrees at the college level and beyond.<br /> <br /> Studies can range from the very practical, such as learning [[programming language]]s, to the highly theoretical.<br /> <br /> Students who plan to study computer science should take as many [[mathematics]] courses as possible. While not all of computer science is directly mathematical, the mental discipline that comes from studying math is very useful in studying computers. <br /> <br /> ==Liberal Bias in Computer Science==<br /> Like many areas of [[academia]], computer science is dominated by [[liberal]]s. The field of computer science was founded by [[homosexual]] [[Alan Turing]]. This often guides research, such as investigations into [[genetic algorithms]] and [[evolutionary algorithm]]s, based on the [[liberal]] [[theory of evolution]]. The field of [[artificial intelligence]] seeks to deny the supremacy of God, by attempting to create man-made intelligent life. The failure of [[artificial intelligence]] and [[genetic algorithms]] can be seen as proof that this [[liberal]] world-view is wrong.<br /> <br /> ==Common programming languages in Computer Science==<br /> *[[Java]]<br /> *[[C++|C/C++]]<br /> *[[Matlab]]<br /> <br /> [[Category:Information technology]]<br /> [[Category:Computer Science]]</div>

BushBud https://www.conservapedia.com/index.php?title=Computer_science&diff=662931 2009-05-14T00:47:56Z

<p>BushBud: Added section about liberal bias in computer science</p> <hr /> <div>'''Computer science''' is the study of various aspects of [[computers]]. It is a common source of study and degrees at the college level and beyond.<br /> <br /> Studies can range from the very practical, such as learning [[programming language]]s, to the highly theoretical.<br /> <br /> Students who plan to study computer science should take as many [[mathematics]] courses as possible. While not all of computer science is directly mathematical, the mental discipline that comes from studying math is very useful in studying computers. <br /> <br /> ==Liberal Bias in Computer Science==<br /> Like many areas of [[academia]], computer science is dominated by [[liberal]]s. The field of computer science was founded by [[homosexual]] [[Alan Turing]]. This often guides research, such as investigations into [[genetic algorithms]] and [[evolutionary algorithms]], based on the [[liberal]] [[theory of evolution]]. The field of [[artificial intelligence]] seeks to deny the supremacy of God, by attempting to create man-made intelligent life. The failure of [[artificial intelligence]] and [[genetic algorithms]] can be seen as proof that this [[liberal]] world-view is wrong.<br /> <br /> ==Common programming languages in Computer Science==<br /> *[[Java]]<br /> *[[C++|C/C++]]<br /> *[[Matlab]]<br /> <br /> [[Category:Information technology]]<br /> [[Category:Computer Science]]</div>

BushBud