Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
about
On Computable Numbers, with an Application to the EntscheidungsproblemDeveloping "Personality" Taxonomies: Metatheoretical and Methodological Rationales Underlying Selection Approaches, Methods of Data Generation and Reduction Principles.Conceiving "personality": Psychologist's challenges and basic fundamentals of the Transdisciplinary Philosophy-of-Science Paradigm for Research on Individuals.Interpreting "Personality" Taxonomies: Why Previous Models Cannot Capture Individual-Specific Experiencing, Behaviour, Functioning and Development. Major Taxonomic Tasks Still Lay Ahead.Life is physics and chemistry and communication.Can mathematics explain the evolution of human language?A multiplex oligonucleotide ligation-PCR as a complementary tool for subtyping of Salmonella TyphimuriumDeMO: An Ontology for Discrete-event Modeling and SimulationMolecular Subtyping of Salmonella Typhimurium with Multiplex Oligonucleotide Ligation-PCR (MOL-PCR).Clustering: how much bias do we need?Simplicity as a Route to Impact in Materials Research.Optimized MOL-PCR for Characterization of Microbial Pathogens.Equation or algorithm: differences and choosing between them.Gene networks and liar paradoxes.Goethe's dream. Challenges and opportunities for synthetic biology.Paradoxical hypnotic experiences in escaping constraining dilemmas: a clinical example.Turing in context.The power of negative [theoretical] results.Undecidability of the spectral gap.Formalism and intuition in computability.Gödel's arithmetization procedure as the basis for a pattern recognition system: a nascent theory mapping pattern into number and number into phenomenal experience.Self-evolution in a constructive binary string system.Utility and Feasibility of Reasoning beyond Decidability in Semantic TechnologiesHIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMITDevelopmental robotics, optimal artificial curiosity, creativity, music, and the fine artsThe Scope of Gödel’s First Incompleteness TheoremThe greatest mathematical paper of all timeThe conceptual foundations and the philosophical aspects of renormalization theoryDiscussion on the foundation of mathematicsOn the correctness of imprecision and the existential fallacy of absolute musicThe Incompleteness of the Economy and Business: A Forceful ReminderThe Domain-Specificity of Creativity: Insights from New PhenomenologyPost-anthropological archaeologyThe Physical Origin of Physically Useful MathematicsA New–old Characterisation of Logical KnowledgeTransdisciplinary case studies as a means of sustainability learningRemarks on the development of computabilityExtensions of the Finitist Point of ViewEtchemendy and Bolzano on Logical ConsequenceOn the Concept of Following Logically
P2860
Q25864184-92dfcacc-4894-677f-ede6-2e264d14f0e3Q30367097-610BCE05-1B69-4FB3-A6EA-FA11EAD6EBDDQ30367435-4E092682-CAE5-476B-BC7B-EF5898C3229DQ30367777-B0E63E94-D3FF-4107-9134-B869E7ABFF43Q30370408-14B66767-30D0-4093-BC9A-B8DA2C9B5BCCQ30408882-C3D89A83-2E0D-4380-A45E-6D98540EA903Q36031171-49353532-B3E3-4692-A61B-306513F9C57DQ36178304-39CE5D0E-E193-435C-8BDC-F84F120B28CCQ38732839-8A9D31BF-9E8C-4705-A48F-50EB32EE4CBAQ38784695-C9D3348C-3540-4F6F-AB83-89F93529BD18Q39115328-40A5874F-66E6-4315-8CF5-CA6D0B5F8ED9Q40131934-A3A9446B-AEF8-45EE-ABF1-5FC8220AC0DDQ42019799-33BC2CA5-19A1-4649-9A2F-73A9A4808E79Q42787778-6DD05568-977A-469E-8658-10B4A33A8E2DQ43071274-018CF86A-825F-45EF-9668-7E3BC40E0E25Q47336778-62333DF4-766D-4300-9880-61D231F18CFAQ48456962-6A20FF5B-8C18-423C-8AA3-315E048A019CQ49834212-D60BDC29-1349-44B6-BC6B-6F7FFF7FBB86Q50757032-81F62B93-428A-4AB3-BA34-BA680448AC03Q51353381-15D74E50-D54E-4415-B708-4BEC7AB9C06FQ52213765-FDD99535-3304-499C-8E9F-A588D6E9928CQ52229497-07A5BC88-1BCC-4E49-9045-D9BAE9715AA0Q54824475-C39E3F02-4B1E-461C-A6F4-BCB75E579EABQ55870889-525A35CC-D4AC-4D0D-9A6E-2A80229173B8Q55924367-7711546E-84FD-4D43-BC9F-314A4FFAA1C7Q55969988-19A16D86-06A9-4EE5-953D-24C2A14D9461Q56211628-53890178-A287-45CD-844F-522B5BB97FB7Q56212648-3D7B4E6D-429A-4343-9076-57A46A8F473EQ57472877-A277C5DB-7B11-4A1C-B798-92BD36487A99Q57653956-1DA1DD53-4DB5-4101-9433-F3EF0F7BA92EQ57750586-ACDB46E4-7F1A-4658-B72C-A979E7B635A8Q57965232-6A700E6C-D884-4A56-9C39-51C2443CB944Q58268493-59868715-AB2B-4A9E-9CA9-99ACC2B848EAQ58340453-361D41EC-A092-4B9E-A66C-1CE3D314D9B5Q58344777-4AEFF94B-3EEC-4D7A-88BC-7AF466EFCB78Q58391252-8295E74D-31B5-43DA-A17D-31268CDC7F0AQ58438143-74845242-9102-471C-A524-BCC7A37BD38DQ58515375-ADFBA9B4-C387-4095-845E-CA416B5B2D7FQ58515762-F75EFD27-7350-4238-8C2D-32E3FDE30492Q58523299-37AA4B8D-E32C-455D-8DE6-F9F894BDC1D7
P2860
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
description
im Dezember 1931 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в грудні 1931
@uk
name
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@en
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@nl
type
label
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@en
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@nl
prefLabel
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@en
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@nl
P356
P1476
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
@en
P2888
P304
P356
10.1007/BF01700692
P407
P50
P577
1931-12-01T00:00:00Z