About: nodeID://b944589       Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : kaiko.getalp.org associated with source document(s)

AttributesValues
rdf:value
  • Viele mathematische Neulinge halten den ersten Beweis durch vollständige Induktion, der ihnen unterkommt, fälschlicherweise für einen Zirkelschluss, weil beim Beweisteil zum Gültigkeitnachweis des „Schritts von n auf n+1“ meist eine Formulierung der zu beweisenden Aussage eingeht, um eine andere, mit um eins erhöhtem Argument, daraus abzuleiten. Der Irrtum rührt daher, daß diese Implikation „∀n (P(n) → P(n+1))“ eben nach üblichem Schema für eine Implikation bewiesen wird, indem also P(n) für beliebiges n vorausgesetzt wird und daraus P(n+1) bewiesen, was dann mutmaßen lässt, die Aussage ∀n P(n) selber würde schon vorausgesetzt. Die Verwirrung kann so groß sein, dass diese Neulinge dann im ersten Beweis durch vollständige Induktion, den sie selbst führen müssen, nun tatsächlich einen Zirkelschluss liefern. (de)
is skos:example of
Faceted Search & Find service v1.16.118 as of Jul 22 2024


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jul 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (125 GB total memory, 62 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software