Logik und Grundlagenforschung: Festkolloquium zum 100. Geburtstag von Heinrich Scholz
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Münster
Aschendorff
1986
|
| Schriftenreihe: | Schriftenreihe der Westfälischen Wilhelms-Universität Münster
Neue Folge, 8 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 130 S. Ill. |
| ISBN: | 3402045273 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000533781 | ||
| 003 | DE-604 | ||
| 005 | 20190107 | ||
| 007 | t | ||
| 008 | 870612s1986 a||| |||| 11||| ger d | ||
| 020 | |a 3402045273 |9 3-402-04527-3 | ||
| 035 | |a (OCoLC)241647851 | ||
| 035 | |a (DE-599)BVBBV000533781 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-384 |a DE-824 |a DE-29 | ||
| 084 | |a AL 56208 |0 (DE-625)3826:593 |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 245 | 1 | 0 | |a Logik und Grundlagenforschung |b Festkolloquium zum 100. Geburtstag von Heinrich Scholz |c [Justus Diller] |
| 264 | 1 | |a Münster |b Aschendorff |c 1986 | |
| 300 | |a 130 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Schriftenreihe der Westfälischen Wilhelms-Universität Münster |v Neue Folge, 8 | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlagenforschung |0 (DE-588)4131708-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1985 |z Münster (Westf) |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Grundlagenforschung |0 (DE-588)4131708-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Diller, Justus |e Sonstige |4 oth | |
| 700 | 1 | |a Scholz, Heinrich |d 1884-1956 |0 (DE-588)118610384 |4 hnr | |
| 830 | 0 | |a Schriftenreihe der Westfälischen Wilhelms-Universität Münster |v Neue Folge, 8 |w (DE-604)BV002730137 |9 10008 | |
| 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=000329379&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000329379 | ||
Datensatz im Suchindex
| _version_ | 1804114981152620544 |
|---|---|
| adam_text | Titel: Logik und Grundlagenforschung
Autor:
Jahr: 1986
INHALT
SYMPOSION ZUM 100. GEBURTSTAG VON
PROF. DR. HEINRICH SCHOLZ
VERANSTALTET VOM INSTITUT FÜR MATHEMATISCHE LOGIK
UND GRUNDLAGENFORSCHUNG DER
WESTFÄLISCHEN WILHELMS-UNIVERSITÄT MÜNSTER
AM 8. UND 9. FEBRUAR 1985
VORWORT 7
DIE LOGIK ZEITLICHER AUSSAGEN UND
DIE GRUNDLAGEN DER PHYSIK
Prof. Dr. Carl Friedrich Frh. v. Weizsäcker 11
DIE ABSOLUTHEIT DER SEMANTISCHEN UND
DIE RELATIVITÄT DER SYNTAKTISCHEN BEGRIFFE
Prof. Dr. Gisbert Hasenjaeger 33
LOGISTIK IN MÜNSTER UM DIE MITTE DER
DREISSIGER JAHRE
Prof. Dr. Hans Hermes 41
BEMERKUNGEN ÜBER DIE BOLZANOSCHE
WISSENSCHAFTSLEHRE
Prof. Dr. Ettore Casari 53
ZUR LOGIZISTISCHEN THESE:
BEWEIS DES UNENDLICHKEITSAXIOMS IN QUINES LOGIK
Prof. Dr. Arnold Oberschelp 67
INTERPOLATION, DEFINIERBARKEIT UND
LEIBNIZ-LOGIKEN
Prof. Dr. Heinz Dieter Ebbinghaus 78
EINE NORMALFORM FÜR ENDLICHE APPROXIMATION
VON PARTIELLEN STETIGEN FUNKTIONALEN
Prof. Dr. Helmut Schwichtenberg 89
ANALYTISCHE METHODEN UND SIMULATIONS¬
TECHNIKEN IN DEN MATHEMATISCHEN WISSENSCHAFTEN
Prof. Dr. Walter Oberschelp 96
5
ZUR ROLLE DER LOGIK IN DER
KÜNSTLICHEN INTELLIGENZ
Prof. Dr. Michael M. Richter 105
IST DAS PROGRAMMIEREN EINE KUNST ODER
EINE WISSENSCHAFT?
Prof. Dr. Thomas Ottmann 112
|
| any_adam_object | 1 |
| author_GND | (DE-588)118610384 |
| building | Verbundindex |
| bvnumber | BV000533781 |
| classification_rvk | AL 56208 CC 2600 |
| ctrlnum | (OCoLC)241647851 (DE-599)BVBBV000533781 |
| discipline | Allgemeines Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01856nam a2200433 cb4500</leader><controlfield tag="001">BV000533781</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190107 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1986 a||| |||| 11||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3402045273</subfield><subfield code="9">3-402-04527-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)241647851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000533781</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">AL 56208</subfield><subfield code="0">(DE-625)3826:593</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik und Grundlagenforschung</subfield><subfield code="b">Festkolloquium zum 100. Geburtstag von Heinrich Scholz</subfield><subfield code="c">[Justus Diller]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Münster</subfield><subfield code="b">Aschendorff</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">130 S.</subfield><subfield code="b">Ill.</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="490" ind1="1" ind2=" "><subfield code="a">Schriftenreihe der Westfälischen Wilhelms-Universität Münster</subfield><subfield code="v">Neue Folge, 8</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlagenforschung</subfield><subfield code="0">(DE-588)4131708-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1985</subfield><subfield code="z">Münster (Westf)</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Grundlagenforschung</subfield><subfield code="0">(DE-588)4131708-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diller, Justus</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Scholz, Heinrich</subfield><subfield code="d">1884-1956</subfield><subfield code="0">(DE-588)118610384</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Schriftenreihe der Westfälischen Wilhelms-Universität Münster</subfield><subfield code="v">Neue Folge, 8</subfield><subfield code="w">(DE-604)BV002730137</subfield><subfield code="9">10008</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=000329379&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-000329379</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 1985 Münster (Westf) gnd-content |
| genre_facet | Festschrift Konferenzschrift 1985 Münster (Westf) |
| id | DE-604.BV000533781 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:15:21Z |
| institution | BVB |
| isbn | 3402045273 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000329379 |
| oclc_num | 241647851 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-824 DE-29 |
| owner_facet | DE-12 DE-384 DE-824 DE-29 |
| physical | 130 S. Ill. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | Aschendorff |
| record_format | marc |
| series | Schriftenreihe der Westfälischen Wilhelms-Universität Münster |
| series2 | Schriftenreihe der Westfälischen Wilhelms-Universität Münster |
| spelling | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz [Justus Diller] Münster Aschendorff 1986 130 S. Ill. txt rdacontent n rdamedia nc rdacarrier Schriftenreihe der Westfälischen Wilhelms-Universität Münster Neue Folge, 8 Logik (DE-588)4036202-4 gnd rswk-swf Grundlagenforschung (DE-588)4131708-7 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 1985 Münster (Westf) gnd-content Logik (DE-588)4036202-4 s DE-604 Grundlagenforschung (DE-588)4131708-7 s Diller, Justus Sonstige oth Scholz, Heinrich 1884-1956 (DE-588)118610384 hnr Schriftenreihe der Westfälischen Wilhelms-Universität Münster Neue Folge, 8 (DE-604)BV002730137 10008 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000329379&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz Schriftenreihe der Westfälischen Wilhelms-Universität Münster Logik (DE-588)4036202-4 gnd Grundlagenforschung (DE-588)4131708-7 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4131708-7 (DE-588)4016928-5 (DE-588)1071861417 |
| title | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz |
| title_auth | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz |
| title_exact_search | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz |
| title_full | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz [Justus Diller] |
| title_fullStr | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz [Justus Diller] |
| title_full_unstemmed | Logik und Grundlagenforschung Festkolloquium zum 100. Geburtstag von Heinrich Scholz [Justus Diller] |
| title_short | Logik und Grundlagenforschung |
| title_sort | logik und grundlagenforschung festkolloquium zum 100 geburtstag von heinrich scholz |
| title_sub | Festkolloquium zum 100. Geburtstag von Heinrich Scholz |
| topic | Logik (DE-588)4036202-4 gnd Grundlagenforschung (DE-588)4131708-7 gnd |
| topic_facet | Logik Grundlagenforschung Festschrift Konferenzschrift 1985 Münster (Westf) |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000329379&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV002730137 |
| work_keys_str_mv | AT dillerjustus logikundgrundlagenforschungfestkolloquiumzum100geburtstagvonheinrichscholz AT scholzheinrich logikundgrundlagenforschungfestkolloquiumzum100geburtstagvonheinrichscholz |