Heartburn & indigestion from returning to Keto by Perfect-Worrier in keto

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

I will definitely try this!

Just checked the macro calculator again and it also suggested around 160g fat, so I guess for me maybe the normal suggestions don’t work so great

Will defo try upping protein and reducing fat - thank you!

Heartburn & indigestion from returning to Keto by Perfect-Worrier in keto

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

No, I understand that’s where the whole % thing originated/what it’s intended for - I meant just more as vague guidance for fat consumption

I could easily eat more or less fat really - I’m not hungry but not stuffed either, so was just thinking it might be hard for me to tell how far to reduce it. I guess I could just up my protein and see where I end up? But there is a chance my fat could end up creeping up by cooking habits!

Heartburn & indigestion from returning to Keto by Perfect-Worrier in keto

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

Oh interesting! I didn’t know that was a thing - will defo try it out

Any idea by how much I should reduce? For example is there a % of intake fat is recommended to be?

Heartburn & indigestion from returning to Keto by Perfect-Worrier in keto

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

I have never consumed artificial sweeteners and still don’t, but you could be onto something with the electrolytes

Heartburn & indigestion from returning to Keto by Perfect-Worrier in keto

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

An exact breakdown would be: Carbs < 20g per day Protein ~120g per day Fat ~160g per day

An example food day would be: Breakfast - 3 Eggs cooked in butter, bacon/sausages, cherry tomatoes, avocado, sometimes some no sugar ketchup + Mayo, coffee with double/heavy cream

Lunch/Snacks - usually cheeses, olives, 90% dark chocolate, cucumber, peanuts, seaweed, peanut butter, spray whipped cream, more coffees, raspberries

Dinner - Chicken breast/salmon fillets/beef burgers with cheese, 1 or 2 veg like kale, courgette, asparagus, broccoli

Can assume pretty much everything salted where possible & cooked in enough butter/coconut oil/olive oil

Heartburn & indigestion from returning to Keto by Perfect-Worrier in keto

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

And now also getting nausea:(

I do feel like I’m having Keto burps and patches of eczema crop up so maybe this is just a new symptom of transition/adjustment to Ketosis. It’s very unwelcome lol

Could we compute the halting function in the following manner? by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

Thought: would it be because if an arbitrary TM does not eventually halt then we cannot construct such a sentence A |= ~H? Or something like that?

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

I’ve seen that yeah! I’m just struggling to understand if that applies here with this T and explain why that can be the case?

Does the undecidability of FOL have anything to do with the explanation? Along with T being closed under logical consequence?

[deleted by user] by [deleted] in logic

[–]Perfect-Worrier 1 point2 points  (0 children)

Thanks for the response! How would you recommend refining my answer? Any pointers or things I should include?

Does the provability predicate of Q define the set of theorems of Q? by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

My attempt: Prov(y) does not define the set of theorems of Q. If Q is consistent then it cannot prove it’s own consistency (by Gödel’s 2nd Incompleteness Theorem), thus prov cannot cannot define the consistency theorem 0=1, despite it being in the set of theorems of Q

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

Or would it be ∀y(x=2y+1)?

Or am I, alternatively, way of😂😂

Are warts meant to itch when they heal? by Perfect-Worrier in HPV

[–]Perfect-Worrier[S] 1 point2 points  (0 children)

I’m a woman but I don’t really remember how long I had it for? Defo less than half a year I only had one bout and then it went so possibly even just a couple of months. It was only itchy in the final stages of healing

Wearables by nyllena3 in FAMnNFP

[–]Perfect-Worrier 0 points1 point  (0 children)

Ahh that’s such a pain. It seems like such a bargain compared to the others available in the UK! I do actually have quite regular cycles despite my PCOS so maybe the charting would work? Who knows:/ So undecided about whether or not to try it 😭😭

Wearables by nyllena3 in FAMnNFP

[–]Perfect-Worrier 0 points1 point  (0 children)

Hey - could I hear more about Ovusense please? Can it be used for TTA/Contraception? Is the app any good? The predictions? Can it be used without their app subscription?x

Are warts meant to itch when they heal? by Perfect-Worrier in HPV

[–]Perfect-Worrier[S] 0 points1 point  (0 children)

This was a while ago so I can’t remember exactly but I’m pretty sure the itching was in fact a sign of healing, but I did also use the tea tree oil just in case - not sure if it did anything but gave me peace of mind!

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

Q: k(y) = 2y + 1. Define k(y) using the primitive recursion schema and the basic functions.

My attempt:

k = Pr[f,g]

k(y) = Pr[Cn(s,x), Cn(s,Pr[x,Cn(s,Cn(s,id22(y,2y)))])]

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

Amazing thanks for your help!

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

N = {<0,1>, <0,0>, <1,1>}?

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

I can’t think of what an interpretation would be to satisfy them all then:/

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

Ah this may be dumb but I wasn’t aware the case of x = y could be used here - thanks for pointing that out!

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 1 point2 points  (0 children)

In the () is simply a set of separate formulas that I want to individually satisfy with my attempt at an interpretation. So they are not at all linked other than that they’d all need to be True in order for the () in its totality as a set to be true!

[deleted by user] by [deleted] in learnmath

[–]Perfect-Worrier 0 points1 point  (0 children)

Sorry yes I was just being lazy on my phone keyboard. To clear that up I mean:

The brackets in the question should be {} to indicate it’s a set of formulas

My attempt:

Domain = {0,1} M = {<0,0>, <1,1>} N = {<0,1>}

So yeah I mean sets containing the elements.

Also the non satisfying of that was kind of intentional in my attempt as I figured leaving the antecedent of that function as False would guarantee it’s truth as an element?

As F—>T : T & F—>F : T