Gyorgy Sereny

121

Reputation

264 views

Registered User

Name	Gyorgy Sereny
Member for	2 years
Seen	Apr 11 2012 at 19:15
Website	math.bme.hu/~sereny
Location	Budapest
Age

Affiliation: Associate Professor, Department of Algebra, Budapest University of Technology and Economics. Research interests: algebraic logic, foundations of mathematics, philosophical logic, philosophy of mathematics.

stats recent reputation favorites

Questions

Answers

votes newest views recent

Demonstrating that rigour is important

Examples of theorems misapplied to non-mathematical contexts

Proofs of Gödel’s theorem

nontrivial theorems with trivial proofs

Arithmetic fixed point theorem

Complete mathematics

Supervenience in mathematics

Surprising and Useful Physical Intuition for Mathematical Objects

Completeness vs Compactness in logic

undecidable sentences of first-order arithmetic whose truth values are unknown

Are inference laws consistent?

Votes

Badges

● Necromancer
● Supporter

● Autobiographer
● Editor

● Teacher

user feed