Mathematics
user avatar
user avatar
user avatar
Patrick Browne
  • Member for 4 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
509
reputation
5k
reached
1
answer
29
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
0
Score
14
Posts
47
Posts %
0
Score
11
Posts
37
Posts %
0
Score
11
Posts
37
Posts %
0
Score
9
Posts
30
Posts %
0
Score
5
Posts
17
Posts %
0
Score
4
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
3
Is this a valid use of Skolemization?
Sep 6, 2020
question
3
With respect to functions, how do I express definedness in first order logic?
Jul 31, 2021
question
3
How can I present the properties of a piecewise function in first order logic?
Aug 14, 2021
question
2
Can these Haskell operations be presented as piecewise mathematical functions?
Oct 7, 2021
question
2
How do I reason with Skolem functions?
Oct 31, 2020
question
2
What are the features that make this proof constructive?
Apr 25, 2019
question
2
Do these two commutative diagrams represent the same homomorphism?
Jun 7, 2020
question
2
How can I translate a Haskell code segment to a mathematical representation?
Jun 12, 2018
question
2
Can I justify removing a universal quantifier in this proof?
Jul 5, 2018
question
2
Translating from First Order Logic to Order-Sorted Logic
Aug 11, 2018
Top network posts
View all network posts
5
Can the semantics of a numeric hierarchy be faithfully represented in Haskell?
5
Does this Haskell program provide an example of "Theorems for free!"?

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.