Beiträge im Logik, Mengen & Beweistechnik Forum
absteigend chronologisch
Moderiert von mire2 StrgAltEntf

nur Fragezeichen
nur ohne Antworten
nur ohne Haken
[Die Forumregeln]
[Neues Thema anlegen]
nurin
Fragen zu Logik, Mengenlehre, Abzählbarkeit, zu Axiomen der Natürlichen Zahlen (Peano), zu Beweistechniken und allgemeinen Grundlagen der Hochschul-Mathematik [->Grundlagen]<<   < Seite 5 >
Hä? Ok  Forum
 Thema
Antworten Von Views
Letzter Beitrag
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
(local and global provability) - "consistency" in the theory PRA + Con(PRA) + Con(PRA + Con(PRA))...
 0   2018-12-14
Ettore
213 2018-12-14 12:04
Ettore
Universität/Hochschule J  Logik, Mengen & Beweistechnik
Beweis zu vollständigen Theorien
 12   2018-11-24
Newmath2012
550 2018-12-14 04:24
Newmath2012
Universität/Hochschule J  Logik, Mengen & Beweistechnik
Verwendung und Bedeutung des "Tilde-gleich-Zeichens" in Girards Monographen "proof theory...
 11   2018-11-17
Ettore
774 2018-12-14 01:44
tactac
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Shepherdson's conditions - a shortcut to the second incompleteness theorem?
 0   2018-12-11
Ettore
237 2018-12-11 15:35
Ettore
Universität/Hochschule J  Logik, Mengen & Beweistechnik
recursive inseparability of the two Gödelnumber-sets: theorems and 'anti-theorems' of EA
 0   2018-12-10
Ettore
212 2018-12-10 10:50
Ettore
Universität/Hochschule J  Logik, Mengen & Beweistechnik
Sehr intuitive Sätze, deren formaler Beweis überraschenderweise nicht so leicht ist
 12   2018-12-08
Ehemaliges_Mitglied
850 2018-12-09 12:58
Ehemaliges_Mitglied
Universität/Hochschule J  Logik, Mengen & Beweistechnik
Ordering between formal theories by provability of consistency
 0   2018-12-06
Ettore
227 2018-12-06 12:19
Ettore
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (Löb's theorem?)
 0   2018-12-06
Ettore
237 2018-12-06 11:43
Ettore
Universität/Hochschule J  Logik, Mengen & Beweistechnik
An alternative formulation (or corollary) of Tarski's theorem? [Or just a typo?]
 0   2018-12-05
Ettore
284 2018-12-05 10:01
Ettore
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Bisimulation von Kripkestrukturen
 0   2018-12-01
paulguenter
204 2018-12-01 14:56
paulguenter
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Fragen in Beweistheorie (PRA-Beweisbarkeit von EA-theoremen, Girards Buch von '87)
 0   2018-11-29
Ettore
215 2018-11-29 13:28
Ettore
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Fragen in Beweistheorie (Interpretation von PRA in PA, Girards Buch von '87)
 0   2018-11-29
Ettore
230 2018-11-29 11:56
Ettore
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Fragen in Beweistheorie (Definition der Interpretation, Girards Buch von '87)
 0   2018-11-28
Ettore
202 2018-11-28 17:51
Ettore
Universität/Hochschule ?  Logik, Mengen & Beweistechnik
Fragen in Beweistheorie (PRA-Beweisbarkeit eines EA-Axioms, Girards Buch von '87)
 0   2018-11-28
Ettore
179 2018-11-28 17:36
Ettore
Universität/Hochschule J  Logik, Mengen & Beweistechnik
Peano-Axiome, Nicht-Kommutativität
 10   2018-11-24
Newmath2012
474 2018-11-25 23:35
Newmath2012
Vorige Nächste Seite [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ... 236 ]
  Private Nachrichten / Inbox
 Melden Sie sich an, um private Nachrichten zu lesen.

 
Neues Thema
Neues Thema in

 Suchen    

Was bedeuten die verschiedenen Symbole, Farben und Schalter?
= Seit ich zuletzt dieses Thema geöffnet hatte, gibt es neue Beiträge.
  In den Ansichten 'Meine beobachteten Themen' und 'Bereits von mir besuchte Themen' oder wenn man selbst an einem Thread mit neuen Beiträgen beteiligt ist, so erscheinen die Themen in der Forumliste hell hinterlegt.
= Seit ich zuletzt dieses Thema geöffnet hatte, sind keine neuen Beiträge hinzugekommen.
= Dieses Thema habe ich bei meinem letzten Besuch nicht geöffnet.
= Dieses Thema gab es bei meinem letzten Besuch noch nicht.
= Das Thema ist von einem Moderator gesperrt worden
  Die Entscheidung, ob das rote Mappensymbol verwendet wird, fällt beim Betreten dieser Seite. Rote Mappen bleiben rot, solange man innerhalb der Forum-Liste navigiert, also z.B. Filter einschaltet, aktualisiert oder vor- und zurückblättert. Erst wenn man die Seite neu betritt, wechseln die zuvor roten Mappen auf gelb (sofern man die Themen nicht geöffnet hat). Möglicherweise gibt es dann neue rote Mappen.
Bereich Schule = Frage aus dem Bereich Schule
Bereich Ausbildung = Frage aus dem Bereich Ausbildung
Bereich Hochschule = Frage aus dem Bereich Universität/Hochschule
Bereich Beruf = Frage aus dem Bereich Beruf
ohne Bereich = Frage ohne Angabe eines Bereichs
Erläuterung zu den Filter-Optionen:
(0) nur meine Themen: Es werden nur Themen gezeigt, die der Aufrufer selbst angelegt hat.
(1) ich bin beteiligt: Es werden nur Themen gezeigt, in denen mindestens ein Beitrag (Frage oder Antwort) vom Aufrufer selbst stammt.
(*) Option (0) hat Vorrang vor (1).
(2) nur meine beobachteten Themen: Es werden nur Themen gezeigt, die der Aufrufer durch einen Klick auf das Brillensymbol in seine 'Beobachter'-Liste aufgenommen hat. Die gleiche Wirkung hat ein Klick auf den Link 'Meine beobachteten Themen', der sich rechts unter der Liste befindet. Das Brillensymbol findet sich in der Themenansicht.
(2') nur Themen aus meinem Notizbuch: Es werden nur Themen gezeigt, die der Aufrufer in seinem Notizbuch eingetragen hat. Die gleiche Wirkung hat ein Klick auf den Link 'Nur Themen aus meinem Notizbuch', der sich rechts unter der Liste befindet. Man fügt einen Eintrag zum Notizbuch hinzu, indem man auf der betreffenden Seite auf das Notizbuchsymbol oben rechts auf der Seite klickt. Man kann dort auch Stichwörter und eigene Bemerkungen zu dem Thema ablegen. Mehr dazu im Notizbuch selbst, speziell dort in der Hilfe.
(*) Option (2) bzw. (2') hat Vorrang vor Optionen (0) und/oder (1). Option (2) wird in absehbarer Zeit ganz durch (2') abgelöst werden.
(3) (nur) in [Forum]: Es werden nur Themen aus dem ausgewählten Forum gezeigt. Wenn 'nur' nicht angekreuzt ist, dann werden auch Themen aus Unterforen des gewählten Forums selektiert (z.B. auch Analysis unter Mathematik). Mit angekreuztem 'nur' werden die Unterforen nicht durchsucht.
(4) nur Fragezeichen: Es werden nur Themen angezeigt, die nicht abgehakt sind und in denen der letzte Beitrag von dem ist, der das Thema eröffnet hat.
(5) nur ohne Haken: Es werden nur Themen gezeigt, die keinen Haken haben.
(6) Bereits von mir besuchte Themen: Rechts unterhalb der Themenliste befindet sich diese Wahlmöglichkeit, mit der man sich zeigen lassen kann, welche Forumthemen man selbst schon geöffnet hat. Der Verlauf wird in absteigender Folge gezeigt, d.h. das zuletzt angesehene Thema steht oben.
(*) Die Option (6) hat Vorrang vor (0), (1) und (2).
(*) Die Optionen (3), (4), (5) können mit (0), (1), (2) und (6) kombiniert werden.
(*) Zur Verwendung von (0), (1), (2) oder (6) muss man Mitglied sein.
orange?Wartet auf Antwort
hellblau!Eine Mitteilung oder ein Hinweis wartet auf interessierte Leser (nur ai-Forum)
hellblau<Wartet darauf, dass Fragensteller die Antwort(en) liest
blauFrage wurde beantwortet oder hat sich erledigt
grün Fragensteller hat Anwort gelesen, aber bisher nicht weiter reagiert
 XDas Thema wurde von einem Moderator gesperrt
Weitere Filter-Optionen für Senior-Mitglieder oder Moderatoren:
(7) nur Notizen: Es werden nur Themen gezeigt, die eine Notiz eines Senior-Mitglieds oder Moderators enthalten (kurz: SuMo-Notiz).
(8) nur eigene Notizen: Es werden nur Themen gezeigt, die eine eigene Senioren- oder Moderatoren-Notiz (kurz: SuMo-Notiz) enthalten.
(*) Die Optionen (7) und (8) hab Vorrang vor den anderen.
(*) Sortieren nach Notizdatum (Auf)(Ab): In der Anzeige der Notizen kann auf Wunsch nach Zeitpunkt der Notiz statt wie gewöhnlich nach letztem Änderungszeitpunkt der Themen sortiert werden.
(9) Letzte Änderung neuer als Notizzeit: Filterung der Themen mit Notizen, die nach dem Schreiben der Notiz noch verändert worden sind.
Optionen werden ein- oder ausgeschaltet, indem man in der jeweiligen Ankreuzbox mittels eines Mausklicks ein Kreuz setzt oder entfernt. Nach dem Setzen oder Wegnehmen eines (oder mehrerer) Kreuze muss man auf 'Aktualisieren' klicken.
Die Filter, die über einen Link eingeschaltet werden (Filter An), werden an der gleichen Stelle mit einem Link (Filter Aus) wieder ausgeschaltet. Teilweise gibt es weitere 'Ausschaltmöglichkeiten', die man nutzen kann, wenn man sie findet. ;-)
[Zum Seitenanfang]

 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]

used time 0.012723