Re: The Mystery of "0x800ccc0d (and all the "0x800ccc0d" variants)

From: Leo Fellmann (l.fellmann_at_free.fr)
Date: 11/18/04 

Date: 18 Nov 2004 16:39:42 GMT

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

The_NU42 wrote:
| Leo Fellmann <l.fellmann@free.fr> wrote in message
news:<2vvjrmF2qjdfdU1@uni-berlin.de>...
|
|
|>Mostly first-year and second-year level courses. This is me being impressed.
|>
|
|
| Are you daft??? Does this all just look like gibberish to you? Is it a
| LANGUAGE issue??? Are you having trouble translating??? Is that it???
|
| These are NOT first and second year course, ASS! Did you miss these?
| Or is it all just GIBBERISH to you? You FOOL!
|
| Ma 547 Advanced Calculus I
| Elementary topology of Euclidean spaces; differential calculus of
| functions of several variables; inverse and implicit function
| theorems; integration; differential forms; theorems of Gauss, Green
| and Stokes.

^^ second-semester stuff. Sorry mate.

|
| Ma 548 Advanced Calculus II
| A continuation of Ma 547 but with greater emphasis on mathematical
| rigor. Topics covered may include convergence of series,
| Riemann-Stieltjes integration, functions of bounded variation, metric
| spaces, introduction to measure theory and functional analysis.
|
| Ma 637 Mathematical Logic I
| Propositional calculus; syntax and semantics of first order theories;
| completeness theorem; elementary model theory: axiomatic development
| of Zermelo-Fraenkel or Bernays-Gödel set theory; ordinals, cardinals,
| the axiom of choice and several equivalent axioms.

^^partially first-semester stuff there.

|
| Ma 638 Mathematical Logic II
| First order number theory; primitive and general recursive functions;
| arithmetization; Gauodel's incompleteness theorems; Tarski's theorems;
| syntax and semantics of second order theories.
|
| Ma 753/773 Advanced Topics in Mathematical Logic
| Selected topics in mathematical logic. Topics may include: a study of
| the connection between the semantical and syntactical treatments of
| propositional calculus and quantification theory, including references
| to the works of Harbrand, Dreben and Hintikka, Gödel's completeness
| for theorem for the first order and predicate calculus, recursive
| function theory, decidable theories, and Gödel's incompleteness
| theorem for arithmetic, axiomatic set theory, model theory.

- --
Leo Fellmann
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFBn+MPwjjtrLvNMRARAp15AKCgXlipK3MD01MH9e27OVOziIt6MgCgmujL
Dq928bcSLfr7TT6tVM/i/ug=
=mW+J
-----END PGP SIGNATURE-----

Relevant Pages

  • Re: The Mystery of "0x800ccc0d (and all the "0x800ccc0d" variants)
    ... Or is it all just GIBBERISH to you? ... Ma 547 Advanced Calculus I ... theorems; integration; differential forms; theorems of Gauss, ... Propositional calculus; syntax and semantics of first order theories; ...
    (sci.crypt)
  • Re: My talk about Godel to the post-grads.
    ... over that the proofs of the incompleteness theorems can be carried out ... in FORMAL first order theories such as Z set theory. ... whether the incompleteness theorems are PROVABLE in Z. Please! ... Go and read the other posts first! ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... This is not first order theorem where the syntactical Rules of Inference ... over that the proofs of the incompleteness theorems can be carried out ... whether the incompleteness theorems are PROVABLE in Z. Please! ... are the originating points of a proof, provability of a meta theorem flows ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... first order thereon, which in turn is syntactical in nature. ... ordinary mathematical theorems (or, for mathemtical theorems more ... incompleteness theorems do not use). ... which we call 'the standard model for the language of PA', ...
    (sci.logic)
  • Re: The logical structure of calculus, request for help.
    ... >Consider calculus of a real variable. ... >- Theorems involving combinations of limits. ... >- Definition of continuity on an interval. ... >- Theorems for computing derivatives; ...
    (sci.math)
Quantcast