Skip to main content
Mathematics
joseville's user avatar
joseville's user avatar
joseville's user avatar
joseville
  • Member for 4 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
1,517
reputation
40k
reached
21
answers
64
questions
Communities
View all
Badges
View all badges
1
gold badge
7
silver badges
21
bronze badges
Top tags
View all tags
7
Score
6
Posts
7
Posts %
5
Score
11
Posts
13
Posts %
3
Score
26
Posts
31
Posts %
3
Score
11
Posts
13
Posts %
3
Score
10
Posts
12
Posts %
3
Score
7
Posts
8
Posts %
Top posts
View all questions and answers
question
10
Does Euclidean division still produce unique quotient and remainder when the dividend and divisor are real numbers?
Jan 23, 2022
question
10
Is there a function that is the envelope of the sum of ceilings of reciprocal functions
Jan 20, 2022
question
8
Is $S(K (S I I))(S(S (K S)(S(K K)I)))(K (S I I))$ really a fixed-point combinator or is this a typo?
Dec 12, 2021
answer
7
Height of the hill
Jan 26, 2022
answer
7
What happens when the lower limit is greater than the upper limit in a definite integral?
Jan 29, 2022
question
4
Exponentiation in Lambda Calculus
Nov 14, 2021
question
3
In lambda calculus, the λ symbol is followed by a variable. Can that variable be a lambda expression?
Nov 11, 2021
question
3
Trying to understand lambda calculus substitution rules w.r.t. to free and bound variables?
Nov 11, 2021
question
3
Clarification regarding substitution in sequent calculus
Nov 21, 2021
question
3
Determinant of a flipped or rotated matrix
Sep 2, 2022
Top Meta posts
3
1
3
MathJax parentheses that span multiple lines
Top network posts
View all network posts
8
ReversibleList: a list that is "reversed" in O(1) time
6
Implementation and Testing of Exponential Search for scenario where we search the same array/list many times
6
How can I properly embed a code block into a Markdown table cell? Alternatively, how can I insert newlines into a code block without using `Enter`?
5
How can I properly embed a code block into a Markdown table cell? Alternatively, how can I insert newlines into a code block without using `Enter`?