The Entscheidungsproblem has been solved:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Paderborn
Bonifatius
1991
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 138 - 140 |
| Beschreibung: | 140 S. graph. Darst. |
| ISBN: | 3870886714 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004210963 | ||
| 003 | DE-604 | ||
| 005 | 19940109 | ||
| 007 | t | ||
| 008 | 901203s1991 d||| |||| 00||| eng d | ||
| 020 | |a 3870886714 |9 3-87088-671-4 | ||
| 035 | |a (OCoLC)24919541 | ||
| 035 | |a (DE-599)BVBBV004210963 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-824 | ||
| 050 | 0 | |a HD30.23 | |
| 082 | 0 | |a 658.4/033 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Kuck, Conrad |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The Entscheidungsproblem has been solved |c Conrad Kuck |
| 264 | 1 | |a Paderborn |b Bonifatius |c 1991 | |
| 300 | |a 140 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 138 - 140 | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Decision making |x Mathematical models | |
| 650 | 0 | 7 | |a Entscheidungsproblem |0 (DE-588)4253928-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Entscheidungsproblem |0 (DE-588)4253928-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002622868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002622868 | ||
Datensatz im Suchindex
| _version_ | 1804118413197443072 |
|---|---|
| adam_text | Contents
Summary 8
Introduction 9
Chapter A The time dependent Propositional Calculus PC 22
Al. Construction of morphisms with the aid of PC and a 22
a algebra
A2. Generalization of Kleene s Theorem and refinement 35
of I
A3. Construction of a finite dimensional Kac Moody Lie 43
semi algebra g(E(t))
Chapter B The induced finite dimensional. Kac Moody Lie , 47
semi algebra g(E(t)) .
B7. Properties of the finite dimensional Kac Moody Lte •• 52
semi algebras g(E(t )} .¦
B8. Derivation of the finite dimensional Kac Moody Lie 55
semi algebra ge(E(t)) .
B9. Martingales 59
BIO. Markov chains 61
Chapter C Derivation of the four axioms of abstract 67
Quantum Theory
C32. Composition in Quantum Logic 76
C34. Orthogonal mappings Oft) of the Hilbert space into 77
itself
C36. The metric of Quantum Logic is Riemannian 78
Chapter D Every mathematical proof method can be reduced 81
to the construction of a morphism
01. Proof of Zorn s Lemma 81
D2. Proof of the transfinite induction 82
D3. Quantum Logic contains Category 85
Theory and Set Theory
D4. Representation of proofs 98
Chapter E Proof Theory contains Group Theory and the 101
Theory of Euclidean Rings
El. Some assertions of Group Theory about proofs 101
E2. Further assertions of Group Theory about proofs 114
E4. The construction of the holomorph of a group with 124
the aid of Quantum Logic is consistent and complete
E5. Quantum Logic contains the theory of Euclidean Rings 125
Chapter F Generalization of some results in Linear 126
Algebra and some additional results
F2. Derivation of the speed of light 129
F3. Proof of Fermats conjecture 136
Literature 138
|
| any_adam_object | 1 |
| author | Kuck, Conrad |
| author_facet | Kuck, Conrad |
| author_role | aut |
| author_sort | Kuck, Conrad |
| author_variant | c k ck |
| building | Verbundindex |
| bvnumber | BV004210963 |
| callnumber-first | H - Social Science |
| callnumber-label | HD30 |
| callnumber-raw | HD30.23 |
| callnumber-search | HD30.23 |
| callnumber-sort | HD 230.23 |
| callnumber-subject | HD - Industries, Land Use, Labor |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)24919541 (DE-599)BVBBV004210963 |
| dewey-full | 658.4/033 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 658 - General management |
| dewey-raw | 658.4/033 |
| dewey-search | 658.4/033 |
| dewey-sort | 3658.4 233 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Mathematik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01334nam a2200373 c 4500</leader><controlfield tag="001">BV004210963</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940109 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">901203s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3870886714</subfield><subfield code="9">3-87088-671-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24919541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004210963</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">HD30.23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.4/033</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kuck, Conrad</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Entscheidungsproblem has been solved</subfield><subfield code="c">Conrad Kuck</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paderborn</subfield><subfield code="b">Bonifatius</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">140 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 138 - 140</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decision making</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidungsproblem</subfield><subfield code="0">(DE-588)4253928-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entscheidungsproblem</subfield><subfield code="0">(DE-588)4253928-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002622868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002622868</subfield></datafield></record></collection> |
| id | DE-604.BV004210963 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:09:54Z |
| institution | BVB |
| isbn | 3870886714 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002622868 |
| oclc_num | 24919541 |
| open_access_boolean | |
| owner | DE-824 |
| owner_facet | DE-824 |
| physical | 140 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Bonifatius |
| record_format | marc |
| spelling | Kuck, Conrad Verfasser aut The Entscheidungsproblem has been solved Conrad Kuck Paderborn Bonifatius 1991 140 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 138 - 140 Mathematisches Modell Decision making Mathematical models Entscheidungsproblem (DE-588)4253928-6 gnd rswk-swf Entscheidungsproblem (DE-588)4253928-6 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002622868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kuck, Conrad The Entscheidungsproblem has been solved Mathematisches Modell Decision making Mathematical models Entscheidungsproblem (DE-588)4253928-6 gnd |
| subject_GND | (DE-588)4253928-6 |
| title | The Entscheidungsproblem has been solved |
| title_auth | The Entscheidungsproblem has been solved |
| title_exact_search | The Entscheidungsproblem has been solved |
| title_full | The Entscheidungsproblem has been solved Conrad Kuck |
| title_fullStr | The Entscheidungsproblem has been solved Conrad Kuck |
| title_full_unstemmed | The Entscheidungsproblem has been solved Conrad Kuck |
| title_short | The Entscheidungsproblem has been solved |
| title_sort | the entscheidungsproblem has been solved |
| topic | Mathematisches Modell Decision making Mathematical models Entscheidungsproblem (DE-588)4253928-6 gnd |
| topic_facet | Mathematisches Modell Decision making Mathematical models Entscheidungsproblem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002622868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kuckconrad theentscheidungsproblemhasbeensolved |