MeadowMuffins

less info

network profile

21 reputation

5

bio	website
	location
	age
visits	member for	9 months
	seen	Jan 23 at 0:03
stats	profile views	14

summary answers questions tags badges favorites bounties reputation activity

5 Questions

votes activity newest

2	Prove $B = \{ \varphi_n(n) \| n \in \mathsf{K} \}$ to be recursive
1	Why $(\mathbb{N} \rightarrow \mathbb{N}) \subseteq (\mathbb{N} \leadsto \mathbb{N})$?
0	On Cardinalities of $\mathcal{RE}$ and $\mathcal{P}(\mathbb{N})$
-1	How to solve $A$ in $D = (A \cup B) \backslash C$?
-1	How to understand inductive definitions of recursive data types?

21 Reputation

+10	Prove $B = \{ \varphi_n(n) \| n \in \mathsf{K} \}$ to be recursive
-2	How to solve $A$ in $D = (A \cup B) \backslash C$?
+5	Why $(\mathbb{N} \rightarrow \mathbb{N}) \subseteq (\mathbb{N} \leadsto \mathbb{N})$?
-2	How to understand inductive definitions of recursive data types?

view more

1 Answer

votes activity newest

0	Why do the rationals, integers and naturals all have the same cardinality?

6 Tags

0 elementary-set-theory × 3	0 cardinals
0 computability × 2	0 reference-request
0 infinity	0 type-theory

5 Accounts

	Stack Overflow	50 rep	17
$Mathematics Stack Exchange$	Mathematics	21 rep	5
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	1 rep
	Ask Ubuntu	1 rep
	English Language & Usage	1 rep	1

5 Badges

recent class name

Supporter	Teacher
Scholar	Editor
Student

0 Active bounties

active offered earned

This user has no active bounties

1 Vote Cast

all time			by type
1	up		0	question
0	down		1	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.17.690