Side 5 - Test af LaTeX - LaTeX

Brugbart svar (2)

Svar #81
06. januar 2007 af allan_sim

Strukturen i beviset er som følger:

Vi lader

være det uafgørlige udsagn fra Gödels første ufuldstændighedssætning, og vi vil vise, at i vores system

gælder, at

. Da

ikke er bevisbar i

, følger så specielt, at

ikke er bevisbar i

, dvs.

kan ikke vise dets egen konsistens.

Svar #82
06. januar 2007 af Sam

#79

Super! Jeg kan gøre noget ved det meste !!!

Svar #83
06. januar 2007 af Sam

#81 og jeg kan gøre noget ved den dårlig opstilling!

Brugbart svar (2)

Svar #84
06. januar 2007 af allan_sim

#81.
Her er moralen vist, at sammenblanding af tekst og LaTeX forløbende ikke er så godt.... :-)

Brugbart svar (2)

Svar #85
06. januar 2007 af fixer (Slettet)

Samme forsøg som #76 og #78:

Brugbart svar (2)

Svar #86
06. januar 2007 af fixer (Slettet)

...og dernæst som #28 og #29:

Brugbart svar (2)

Svar #87
06. januar 2007 af fixer (Slettet)

Brugbart svar (2)

Svar #88
06. januar 2007 af Eva D. (Slettet)

Var det ikke en ide at lave en ny tråd? Denne her er fuldkommen ulæselig.

Brugbart svar (2)

Svar #89
06. januar 2007 af Eva D. (Slettet)

Så:

https://www.studieportalen.dk/Forums/Thread.aspx?id=294970