Total Spam

[mewking]

xDDD

[phistoh]

Wobei es für den Spezialfall von mir bestimmt auch einfachere Beweise gibt.

[mewking]

a+a = 2a beweis:

a+a = 2a
1a + 1a = 2a || a ausklammern
a(1+1) = a(2) || a kürzen
1+1 = 2 || ausrechnen
2 = 2
q.e.d.

[phistoh]

Und auf welchen Axiomen baut der Beweis auf?

[mewking]

Auf dem Axiomen für
r = r
für r aus R^^

Axiomen waren ja diese unbeweisbaren grundsätze, oder?^^
sorry, aber der exkurs zur relativitätstheorie ist etwas her^^

[phistoh]

Ja, Axiome sind Annahmen die man zu Beginn trifft.
Und die sind nicht beweisbar. Das hat Gödel bewiesen.

[Mähikel]

Jetzt seid hier nicht so fachsimpelnd unterwegs

[mewking]

Funktion f für fachsimpelnd:
f({phistoh, mewking, die anderen}) > minimalwert_von_schaf_gewünscht
q.e.d.

[phistoh]

Aber du musst es doch auch seltsam finden, dass man beweisen kann, dass man Dinge nicht beweisen kann.

[Mähikel]

ICH KANN EUCH ALLE SPERREN!!!!1111

Theoretisch.