Mathematics
mohottnad's user avatar
mohottnad's user avatar
mohottnad's user avatar
mohottnad
  • Member for 1 year, 7 months
  • Last seen this week
Profile Activity
Stats
2,526
reputation
18k
reached
96
answers
0
questions
Communities
View all
About

You may contact me via email: incompletelogic AT yahoo DOT com

Badges
View all badges
1
gold badge
2
silver badges
10
bronze badges
Top tags
View all tags
106
Score
67
Posts
70
Posts %
49
Score
24
Posts
25
Posts %
36
Score
22
Posts
23
Posts %
30
Score
11
Posts
11
Posts %
26
Score
17
Posts
18
Posts %
11
Score
9
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
4
Is this proof in Fitch possible?
Dec 15, 2021
answer
4
Simple Fitch Proof without using DeMorgan's Law
Dec 15, 2021
answer
4
Question About Null Quantification Equivalences
Dec 1, 2021
answer
4
Model Theory in Van Dalen
Nov 19, 2021
answer
4
Exponentiation in Lambda Calculus
Nov 14, 2021
answer
4
Trying to understand lambda calculus substitution rules w.r.t. to free and bound variables?
Nov 11, 2021
answer
4
Proving that □A → A is valid iff R is reflexive?
Oct 23, 2021
answer
3
Chained substitutions of an application in $\lambda$-calculus, e.g. $AB[C/x][D/y]$
Dec 24, 2021
answer
3
Opposite Direction of Church-Rosser Theorem
Dec 19, 2021
answer
3
Lambda Calculus functions that are fixed-points of themselves
Dec 10, 2021
Top network posts
View all network posts
6
Faithfully recounting the events of the day

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.