About: nodeID://b944589

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: nodeID://b944589 Sponge NotDistinct Permalink

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

Attributes	Values
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	dbnary-deu:__ws_1_Zirkelschluss__Substantiv__1

Attributes

Values

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

dbnary-deu:__ws_1_Zirkelschluss__Substantiv__1

Faceted Search & Find service v1.16.118 as of Jul 22 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

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, 64 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software