Kaveh

less info

$meta site favicon$ meta user |

network profile

1,010 reputation

412

bio	website
	location	Toronto, Canada
	age
visits	member for	1 year, 9 months
	seen	1 hour ago
stats	profile views	197

PhD student at University of Toronto, Department of Computer Science, Theory Group.

Moderator on cstheory.

summary answers questions tags badges favorites bounties reputation activity

47 Answers

votes activity newest

12	How to prove the mathematical induction is true?
5	Tips for constructing basic loop invariants?
5	First-Order Logic vs. Second-Order Logic
5	Which one result in maths has surprised you the most?
4	Why is integer factorization considered to be in NP if a quantum computer can compute a factorization in polynomial time?

view more

1,010 Reputation

+15	Descriptive Complexity Theory - operator, structure and iteration?
+5	Proving that the characters of an infinite Abelian group is a basis for the space of functions from the group to $\mathbb{C}$
+10	What makes higher/second-order logic incompatible with completeness theorem?
+10	If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?

view more

1 Question

votes activity newest

3	Proving that the characters of an infinite Abelian group is a basis for the space of functions from the group to $\mathbb{C}$

36 Tags

41 logic × 31	8 set-theory × 3
28 proof-theory × 8	7 meta-math × 3
15 computational-complexity × 11	5 soft-question × 2
11 philosophy × 6	5 algorithms × 2
9 computer-science × 7	4 computability × 6

view more

38 Accounts

	Theoretical Computer Science♦	6,920 rep	22380
	Computer Science	2,535 rep	522
$Mathematics$	Mathematics	1,010 rep	412
	Area 51	699 rep	11
	Meta Stack Overflow	450 rep	17

16 Badges

recent class name

Taxonomist	Student
Civic Duty	Revival
Yearling	Critic
Scholar	Citizen Patrol
Necromancer	Organizer

view more

0 Active bounties

active offered earned

This user has no active bounties

350 Votes Cast

all time			by type			month		week
340	up		81	question		33		10
10	down		269	answer		33		10

view more