236 reputation
14
bio website bitfoc.us
location
age
visits member for 2 years
seen yesterday

print '\n'.join([ ''.join(['*' if y ^ x == y - x else ' ' for x in range(y + 1)]) for y in range(16) ])


Mar
5
comment Power set of set containing empty set, sets of empty set, and mixes of the former
I see. I think the point is #3 and the deductions are valid only when any finite number of elements are selected to construct a union set, but axiom of union does not allow a union of infinite sets at once.
Mar
5
comment Power set of set containing empty set, sets of empty set, and mixes of the former
@MauroALLEGRANZA Do you mean the rule #3 goes against axiomatic systems like ZFC?
Mar
4
asked Power set of set containing empty set, sets of empty set, and mixes of the former
Feb
13
awarded  Popular Question
Jan
17
awarded  Yearling
Sep
18
awarded  Scholar
Sep
18
accepted If it takes infinite steps to prove a statement, is that a valid proof?
Sep
11
awarded  Nice Question
Sep
10
comment If it takes infinite steps to prove a statement, is that a valid proof?
@HennoBrandsma I'd like to define "step" as execution of Turing Machines. If I assign that task to a Turing Machine, it won't halt.
Sep
10
asked If it takes infinite steps to prove a statement, is that a valid proof?
Jul
14
awarded  Student
Jul
14
asked Time complexity to calculate a digit in a decimal