reddi
10-05-2004, 19:36
hallo!
im skriptum wird dieses bsp. von oben nach unten erläutert!
es steht ausserden, dass es <nicht analytisch> ist und von daher schwer automatisierbar ist!
soll das jetzt indirekt heissen, dass die lösung eines solchen bsps. reine intuitionsache ist und es keine tipps gibt, welches axiom anzuwenden ist!
(anmerkung:
was mich etwas wundert ist, dass dieses bsp. von oben nach unten erklärt wurde und nicht von unten nach oben (zumindest im skriptum, wie es in der VO erklärt wurde, weiss ich nicht mehr! ich weiss nur, dass er bei dem bsp. hingewiesen hat auf die tatsache, dass einfache formeln hier langwirrige beweise mitsich bringen - dies würde ja eigentlich noch viel mehr intuition erfordern oder???)
im skriptum wird dieses bsp. von oben nach unten erläutert!
es steht ausserden, dass es <nicht analytisch> ist und von daher schwer automatisierbar ist!
soll das jetzt indirekt heissen, dass die lösung eines solchen bsps. reine intuitionsache ist und es keine tipps gibt, welches axiom anzuwenden ist!
(anmerkung:
was mich etwas wundert ist, dass dieses bsp. von oben nach unten erklärt wurde und nicht von unten nach oben (zumindest im skriptum, wie es in der VO erklärt wurde, weiss ich nicht mehr! ich weiss nur, dass er bei dem bsp. hingewiesen hat auf die tatsache, dass einfache formeln hier langwirrige beweise mitsich bringen - dies würde ja eigentlich noch viel mehr intuition erfordern oder???)