Victor Makarov

271
Reputation
382 views
Is this your account?

Registered User 

Name Victor Makarov
Member for 3 years
Seen 21 hours ago
Website
Location USA
Age
I got my Ph.D in Computer Science (Compiler Construction), now I am interested in formalization of mathematics. Currently I am involved in the design of a practical formal mathematical language. I try to test this language by formalizing Galois theory.
7

Questions
votes newest views recent
3
6
votes
7
answers
1k
views

The isomorphism inference rule

jul 5 10 at 20:00 Matthew Wampler-Doty 232●1●7

1
5
votes
1
answer
399
views

Some questions about Ackermann set theory

apr 18 12 at 18:49 wmitt 51●3

3

2
3
votes
2
answers
1k
views

Axiomatic definition of integers

may 2 10 at 2:19 Andrew L 17●1●12●31

 

 
1
vote
1
answer
274
views

Notation arb(x)

jan 23 at 12:05 Victor Makarov 271●1●9

 

 

3

Answers
votes newest views recent
3
Definition of Function
3
Characterizing specific “concrete” mathematical objects by abstract general properties
1
Bourbaki theory of isomorphism, examples of untransportable formulas

 

117

Votes
117

 

12

Tags
× 7
× 2
× 2
× 2
× 2
× 2

 

10

Badges
● Popular Question× 2
● Critic
 ● Commentator
● Enthusiast
 ● Supporter
● Teacher
 ● Editor
● Scholar
 ● Student