György Serény
Associate Professor
Department of Algebra
Budapest University of Technology and Economics
1111 Stoczek u. 2. H ép. 5. em.
Budapest, Hungary
e-mail: sereny@math.bme.hu
Research interests
- Algebraic logic
- Foundations of mathematics
- Philosophical logic
- Philosophy of mathematics
Some earlier articles
Compact cylindric set algebras
Bulletin of the Section of Logic, vol 14(1985), pp. 57-64.
Lower level connections between representations of relation algebras
Bulletin of the Section of Logic, vol 15(1986), pp. 123--127.
Finite models are one-generated
Algebra Universalis, vol 24(1987), pp. 193-195.
Abstract
Neatly atomic cylindric algebras and isomorphisms
Algebraic Logic (Proc. Conf. Budapest, 1988) (Eds.: H.
Andréka,
J.D. Monk, and I. Németi),
Colloq. Math. Soc. J. Bolyai Vol 54, North Holland, Amsterdam, 1991,
pp.
637-644.
Abstract
Isomorphisms of finite cylindric set algebras of characteristic zero
Notre Dame Journal of Formal Logic, Volume 34, Number 2,
Spring
1993, pp. 284-294.
Abstract
More recent papers
Saturatedness in cylindric algebraic model theory
Logic Journal of the IGPL, Volume 5, No.1, 1997, pp. 25-48.
(The abstract of the paper can be found at Logic
Journal of the IGPL, Volume 5, No.1.)
Gödel, Tarski, Church, and the Liar
The Bulletin of Symbolic Logic , Volume 9, Issue 1, March 2003,
pp.
3-25.
(The
complete
paper can be dowloaded from
The Bulletin of Symbolic Logic .
A more popularized preliminary version
of
the first part (and the abstract)
of this paper can be found at the e-print archive in Los Alamos.
)
Boolos-style proofs of limitative theorems
Mathematical Logic Quarterly , 50 (2004), No.2, pp.
211-216.
(The preprint
of the paper can be dowloaded from the e-print archive in Los Alamos
.)
The diagonal lemma as the formalized Grelling paradox
Gödel Centenary 2006 (Eds.: M. Baaz, N. Preining),
Collegium Logicum vol. 9, Kurt Gödel Society,
Vienna,
2006, pp. 63-66.
(The preprint
of the paper can be dowloaded from the e-print archive in Los Alamos
.
Here is a diagram which
shows the relation between the Grelling paradox and the
proof of the diagonal lemma .)
The Liar cannot be solved
Unity, Truth and The Liar
The Modern Relevance of Medieval Solutions to Semantic
Paradoxes
,
Series: Logic,
Epistemology,
and the Unity of Science, Vol. 8,
(eds. Sh. Raman, T. Tulenheimo, E. Genot), Springer, Berlin,
2008, pp.
159-186, invited contribution
(The
homepage of the volume can be found at Springer.
The answer to the question as to why I think that the Liar cannot be
solved can be found on the last
3
pages of the paper.)
Complete list of publications publ. list
Curriculum Vitae cv
Interjúk
(Interviews in Hungarian)
Tanárinterjú (Impulzus, 2003. december)
Beszélgetés a
matematikáról (Mihancsik Zsófiával a Klubrádióban 2005. július 24 -
én)
Oktatással kapcsolatos anyagok
(Teaching materials in Hungarian)
Jegyzetek
MATEMATIKAI LOGIKA jegyzet :
1. rész: Propozicionális logika itt
2. rész: Elsőrendű logika
itt
GÖDEL TÉTELKÖR jegyzet (2009. májusi
javított
változatok):
1. rész: Kiszámíthatóság pdf
2. rész: A szintaxis aritmetizálása pdf
3. rész: A limitációs tételek pdf
Appendix pdf
HALMAZELMÉLET jegyzet: ps.gz
file
Követelmények villamosmérnököknek
A1
A2
Segédanyagok/információk matematikusoknak Matematikai
logikából: itt
Tematikák matematikusoknak
Halmazelmélet és matematikai logika
Gödel
tételkör
Mintazh-k informatikusoknak
1.minta (pdf)
2.minta
(pdf)
Segédanyagok, tematikák és ZH-k villamosmérnököknek
A1
Alapfogalmak
(pdf
file)
TEMATIKA
Régi
letölthetõ
zh-k megoldásokkal
Sorozatok példák 1.pdf
2. pdf
3. pdf
A2
TEMATIKA
Régi
letölthetõ
zh-k megoldásokkal
Szigorlat (Csak azok számára,
akik a B3*-ot
nálam hallgatták!!)
Szigorlati követelmények és tételek