This is a static snapshot of the website of MPLA, taken on 2025-02-27.

You are here: Students » Αλέξανδρος Παλιουδάκης

Navigator

Fortune cookie

“The membership relation for sets can often be replaced by the composition operation for functions. This leads to an alternative foundation for Mathematics upon categories specifically, on the category of all functions. Now much of Mathematics is dynamic, in that it deals with morphisms of an object into another object of the same kind. Such morphisms (like functions) form categories, and so the approach via categories fits well with the objective of organizing and understanding Mathematics. That, in truth, should be the goal of a proper philosophy of Mathematics.”

Saunders Mac Lane.

Αλέξανδρος Παλιουδάκης: student profile

Photo of Palioudakis

Αλέξανδρος Παλιουδάκης

Υποψήφιος διδάκτορας, Queen's university

Website:	http://research.cs.queensu.ca/~alex/

msc

Enrolled in:	Νοέμβριος 2007
Graduated on:	Τετάρτη, 22 Δεκ 2010

Thesis

Title: Conjuctive and Boolean Grammars.

Defended: Τρίτη, 13 Ιούλ 2010.

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Powered by: OpenBSD, vim, nginx, Haskell, Ruby, Python, PostgreSQL, SQLite, django, schole.

© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.