Search Results

• AlonzoChurch
• ApplyingScienceDiscussion
• BloopFloopAndGloop
• ChangesInAugustEleven
• ChangesInAugustThirteen
• ChangesInFebruaryThirteen
• ChangesInJanuaryThirteen
• ConceptsOutOfContext
• CsharpQuestions
• DaleJacquette
• DefinitionsThatRelyOnIntent
• DomainValue
• DougMerritt
• EmpiricalRigorCantReplaceTheoreticalRigor
• EssentialTruthsThatNeedToBeFaced
• EveryThingIsPredictable
• EverythingIsRelativeStrangeLoop
• EverythingIsa
• FaronMoore
• GodLanguage
• GoedelEscherBach
• GoedelsIncompletenessConsequences
• GoedelsIncompletenessTheorem
• GoedelsTheorem
• GuillermoSchwarz
• HaltingProblem
• HaltingProblemDiscussions
• HardCorePlatonists
• HowGoedelSentencesWork
• HyperBooleanTuringMachineDraft
• IncompleteNotations
• IrrevocableThreadMode
• IsFkkActuallyTrue
• JohnAbbe
• KurtGoedel
• LifeIsaBigMessyGraph
• MathematicalParadoxes
• MegaHal
• MeinongianLogic
• MistakesOfRogerPenrose
• NivensLawOfTimeTravel
• NotNaturalOnaTuringMachine
• ObjectivityIsAnIllusion
• PenroseCannotConsistentlyAssert
• ProgrammingIsNotFun
• RavioliWiki
• RaymondSmullyan
• RealityIsStrangerThanFiction
• RicesTheorem
• RobinsonArithmetic
• SetOfAllSets
• SoftwareIsReallyPointless
• StrangeLoop
• TheEmperorsNewMind
• TheOneTrueReligion
• TheoremProvingSystem
• TheoreticalRigorCantReplaceEmpiricalRigor
• ThingsToThinkAbout
• TopsLaw
• TorkelFranzen
• TuringMachine
• UnificationOfStaticTypesAndUnitTests
• UnknowableNumbers
• WhatIsRelativism
• WherePsychologyMatters